Proposal for New Level 4 Logic Subject

1. Subject objective
   Introduce honours and beginning graduate students to modal logic.
2. Subject description
   Modal logic is used widely in computer science to model a variety of systems including databases, communication protocols, software, multi-agency and knowledge systems. This course will address the basic axioms, techniques, model theory of modal logic and some representative applications.
3. Contact hours
   Three hours per week, following a textbook such as Hughes and Cresswell, or Goldblatt.
4. Credit value
   Standard honours course.
5. Assessment methods
   Presentation of material, assignments. Exam at the end only if deemed to be necessary if assignments are not satisfactory.
6. Small-group classes
   The class will be small by self-selection.
7. Assignment and laboratory work
   See item 5 on assessment methods.
8. Syllabus
   Standard modal axioms such as K, T, 4 and 5. Kripke's possible world semantics. Soundness and completeness. The canonical model theorem. Logics of belief and knowledge. Logics of time and computation. If time permits, filtrations and the finite model property.