Course ObjectiveThe objective of the course Advanced Logic is to obtain a good
understanding of modal logic and its
use in computer science and artificial intelligence.
Course ContentA thorough introduction to modal logics, and its applications in
computer science and artificial intelligence. We will select some themes
from the book Modal Logics for Open Minds, by Johan van Benthem:
for example basic modal logic and possible world semantics, bisimulation
modal definability, decidability. In particular we treat the modal
logics most relevant to computer science and AI: temporal, dynamic and
Teaching MethodsWeekly 2 lectures and 1 exercise class, for the duration of 7 weeks.
Method of AssessmentA written exam and assignments that can make half a point bonus.
LiteratureJohan van Benthem, Modal Logics for Open Minds, CSLI Publications 2010.
Target AudiencemAI, mCS, mPDCS
Custom Course RegistrationRegistration is organized in the standard way.
Explanation CanvasThe information about Advanced Logic is shared via the webpage of the
Recommended background knowledgeThe bachelor course Logic and Modelling
or an equivalent introduction to first-order logic.
|Language of Tuition||English|
|Faculty||Faculty of Science|
|Course Coordinator||dr. F. van Raamsdonk|
|Examiner||dr. F. van Raamsdonk|
dr. F. van Raamsdonk
You need to register for this course yourself
Last-minute registration is available for this course.
|Teaching Methods||Seminar, Lecture|
This course is also available as: