Modal logic

Duration

30h Th

Number of credits

Lecturer

Bruno Leclercq

Language(s) of instruction

French language

Organisation and examination

Teaching in the first semester, review in January

Schedule

Schedule online

Units courses prerequisite and corequisite

Prerequisite or corequisite units are presented within each program

Learning unit contents

Formal systems and semantical models of modal logic. Epistemic, temporal and deontic applications. "Meta-logical" questions (completeness, soundness, consistency, ...).

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)

The course will take place on Monday mornings (10:am to 12:00am) during the first term (September-December). Location : Room A1/3/22.

Organisational adjustments related to the current health context

In case of red alert, teaching will go on at the usual time slot (on Wednesdays from 4pm to 6 pm), yet on Collaborate, the e-campus virtual classroom.
Live broadcasting will be recorded so as to be viewed on e-campus afterwards.

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.

Assessment methods and criteria

Below you will find information on the evaluation methods planned for in-person and remote exams as well as those planned for hybrid sessions. Depending on how the health crisis evolves, the chosen method will be communicated to you no later than one month before the start of the exam session.

Any session :

- In-person

written exam ( open-ended questions )

- Remote

written exam

- If evaluation in "hybrid"

preferred in-person


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)

Organizational remarks

The first session will be held on the 21st of September 2020 at 10 am.

Contacts

Bruno LECLERCQ Université de Liège Département de philosophie Place du XX août, 7 4000 LIEGE
B.Leclercq@uliege.be

Items online