SSP Group Meeting
Wednesday, April 19th, 11am-12pm
Division of Informatics, 80 South Bridge, Room F13


What Is a Logical System?

Daniela Carbogim

In (the draft of) his new book on Dynamics of Practical Reasoning, Dov 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 such as:

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.

For more information you can look at his web page, and at the following note: