Duration
30h Th
Number of credits
Lecturer
Language(s) of instruction
French language
Organisation and examination
Teaching in the first semester, review in January
Schedule
Units courses prerequisite and corequisite
Prerequisite or corequisite units are presented within each program
Learning unit contents
Formal systems and semantical models of (propositional and quantified) modal logic. Epistemic, temporal and deontic applications. Philosophical issues.
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
Further information:
Face-to-face course
Additional information:
The course will take place on Wednesday mornings (11am to 1pm) during the first term (September-December). Location : Room PHILO I.
Course materials and 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.
Exam(s) in session
Any session
- In-person
written exam ( open-ended questions )
Additional information:
Written exam in January and September.
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 the 16th of September 2026 at 11am.
Contacts
Bruno LECLERCQ
Université de Liège
Département de philosophie
Place du XX août, 7
4000 LIEGE
B.Leclercq@uliege.be