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
THIS COURSE WILL NOT BE TAUGHT DURING ACADEMIC YEAR 2025-2026
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
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.
Course materials and recommended or required readings
Platform(s) used for course materials:
- eCampus
Further information:
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 )
Further information:
Written exam in January and September.
No student will be allowed to take the exam on another day than the other students.
Use of AI (ChatGPT and any other tool for analyzing data, summarizing texts or writing essays) :
See https://www.student.uliege.be/cms/c_19230399/en/uliege-charter-for-the-use-of-generative-artificial-intelligence-in-academic-work
Work placement(s)
Organisational remarks and main changes to the course
THE COURSE WILL NOT TAKE PLACE DURING ACADMIC YEAR 2025-2026
The first session will be held on ...
Contacts
Bruno LECLERCQ
Université de Liège
Département de philosophie
Place du XX août, 7
4000 LIEGE
B.Leclercq@uliege.be
Association of one or more MOOCs
Items online
e-campus
Website