Faculty of Arts

PHIL 736

Logic 1

Please note: this is archived course information from 2020 for PHIL 736.


This course gives you the fundamental mathematical and logical tools to undertake research in applied modal logic. We will emphasise model theoretic techniques and investigate how to choose logical languages for modeling purposes. The upshot of the course is that modal logic, seen as a fragment of first-order logic, provides an ideal balance between expressivity and complexity for practical investigations.

View the course syllabus

Availability 2020

Not offered in 2020; planned for 2021


Coordinator(s) Dr Patrick Girard


Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, Cambridge University Press, 2002.


PHIL 736: 15.0 points

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