Faculty of Arts

PHIL 216

Modal Logic


An introduction to modal logic, which is a variation of the system of predicate logic studied in PHIL 101. Modal logic is well-suited for studying philosophically important concepts such as necessity, time, knowledge, vagueness, action and obligation. It is also used in computer science for studying the behaviour of programs and is recommended as preparation for studying logic at Stage III.

Availability 2012

Not taught in 2012


Coordinator(s) Dr Koji Tanaka


PHIL 216: 15.0 points


PHIL 101

Contact details | Search | Accessibility | Copyright | Privacy | Disclaimer |