PHL347H1: Modal Logic

Hours: 
36L

Formal study of the concepts of necessity and possibility; modal, propositional and quantificational logic; possible-worlds semantics; the metaphysics of modality.

Prerequisite: 

PHL245H1/​MAT157Y1 and a full course in PHL/CSC/MAT

Recommended Preparation: 
Distribution Requirements: 
Humanities
Breadth Requirements: 
Thought, Belief and Behaviour (2)