COMP4xxx ---- Introduction to Modal Logic --- Norman Foo
New subject proposal
Proposal for New Level 4 Logic Subject
- Subject objective
Introduce honours and beginning graduate students to modal logic.
- 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
- Contact hours
Three hours per week, following a textbook such as Hughes and
Cresswell, or Goldblatt.
- Credit value
Standard honours course.
- Assessment methods
Presentation of material, assignments. Exam at the end only if deemed
to be necessary if assignments are not satisfactory.
- Small-group classes
The class will be small by self-selection.
- Assignment and laboratory work
See item 5 on assessment methods.
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.