COMP4xxx ---- Introduction to Modal Logic --- Norman Foo
New subject proposal

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.