Regular rates (register after April 15):
Rutgers affiliate, not volunteering: $75 Academic: $200 Non-academic/industry: $400
Rutgers students volunteering: free!
In this course we will study a gamut of modal logics that are of interest to philosophy, linguistics, and artificial intelligence. The only prerequisite for the course is familiarity with predicate logic, but the pace will be fast. I intend to at least touch upon the following topics.
* Tableau Calculi
* Basic Propositional Tense Logic
* Basic Propositional Modal Logics
* Conditional Modal Logics
* Combining Tense and Modality
* Adding Contexts of Utterance
* Adding Quantifiers
* Modal Logics in Type Logic and the Meaning of Language
There will be an emphasis on designing logics that can be applied in the fields just mentioned rather than on showing what formal properties they enjoy. In fact all modal logics will be defined as fragments of predicate logic (and hence of type logic) via what is called the 'standard translation'. This will enable us to formulate a
very rich system in which many interesting operators interact and to study that interaction using a tableau calculus.