open.conted.ox.ac.uk (beta)

Open Educational Resources

Modal Logic, Fall 2009

Full course with lecture notes, assignments etc.. It studies sentential and quantified modal logic, especially model theory. Topics include soundness, completeness, epistemic logics, and logics of necessity and possibility.

Date created: 
Friday, August 31, 2012
Attribution for this resource:
Modal Logic, Fall 2009, licensed under CC BY-NC-SA.