2023-2024 / PHIL0208-1

Modal logic


30h Th

Number of credits

 Master in philosophy (120 ECTS)5 crédits 
 Master in philosophy (60 ECTS)5 crédits 


Louis Rouillé

Language(s) of instruction

French language

Organisation and examination

Teaching in the first semester, review in January


Schedule online

Units courses prerequisite and corequisite

Prerequisite or corequisite units are presented within each program

Learning unit contents

Introduction to propositional and quantified modal logic. Introduction to the different formal systems and to possble world semantics. Metaphysical, epistemic, temporal and deontic interpretations. Discussions of the philosophical interest of modal logic.

This class presupposes having passed an introduction to first order logic (propositional logic + predicate logic)

Learning outcomes of the learning unit

Deeper understanding of the relations between formal systems and semantics.

Prerequisite knowledge and skills

Bachelor's degree knowledge in logic, epistemology and history of philosophy.

Planned learning activities and teaching methods

Mode of delivery (face to face, distance learning, hybrid learning)

Face-to-face course

Additional information:

The course will take place on Wednesday mornings (10:00am to 12:00am) during the first term (September-December). Location : Room PHILO I.

Recommended or required readings

Besides teacher's notes, reference books are :

  • E. HUGHES, M. J. CRESSWELL, A new introduction to modal logic, London and New York, Routledge, 1996.
  • P. GOCHET, P. GRIBOMONT, Logique, vol. 3 : méthodes pour l'intelligence artificielle, Paris, Hermès, 2000.
  • Modal Logic, by Patrick Blackburn, Maarten de Rijke and Yde Venema. Cambridge Tracts in Theoretical Computer Science, 53, Cambridge University Press, 2001. ISBN-10: 0521527147, ISBN-13: 978-0521527149.

Exam(s) in session

Any session

- In-person

written exam ( open-ended questions )

Additional information:

Written exam in January (1st session).

No student will be allowed to take the exam on another day than the other students.


Work placement(s)

Organisational remarks and main changes to the course

The first session will be held on wednesday September 20 2023 at 10am in Philo 1.





Louis Rouillé
Université de Liège
Département de philosophie
Place du XX août, 7
4000 LIEGE


Association of one or more MOOCs

Items online