SSP Group Meeting
Wednesday, April 19th, 11am-12pm
Division of Informatics, 80 South Bridge, Room F13
What Is a Logical System?
In (the draft of) his new book on Dynamics of Practical
Gabbay discusses a general theory of logical systems and
identifies which components and relations need to be specified in
order to define such systems. In particular, he addresses questions
I have been recently looking at his ideas (and answers to these
questions), and some of his views and definitions seem to be relevant
to many of us. I will also present an example of what he means by a
practical reasoning system.
- what is a logical system?
- what is a monotonic system?
- what is a non-monotonic system?
- what is a (formal) practical reasoning system?
For more information you can look at his web page, and at the