Course ObjectiveThe objective of the course Advanced Logic is to obtain a good
basic understanding of modal logic.
At the end of the course the student should be able to give proofs
(semantical, syntactical), to show (non-)definability of operators and
frame properties, to make elementary derivations in Hilbert style
systems, to prove properties about regular programs in propositional
dynamic logic, and more in general the student should have acquired some
flexibility in dealing with different versions of modal logic.
Course ContentThe course Advanced Logic is concerned with modal logic and its
application to computer science. We study some themes from the book
Modal Logics for Open Minds by Johan van Benthem, in particular: basic
modal logic and possible world semantics, bisimulation and invariance,
modal definability and expressive power, decidability, proof systems,
dynamic logic, epistemic logic.
Teaching MethodsWeekly 2 lectures and 1 exercise class, for the duration of 7 weeks.
Method of AssessmentA written exam.
In addition, there are three non-obligatory homework assignments.
A successful completion of one, two, or three homework assignments
yields a bonus of (respectively) at most 0.1, 0.3, or 0.5 which is added
exam grade if a passing grade for the written exam is obtained.
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 CanvasCanvas is used for the assignments and announcements. The canvas page
contains a link to the webpage http://www.cs.vu.nl/~tcs/al where the
slides and the material for the exercise classes can be found.
Recommended background knowledgeBasic knowledge of the syntax and semantics of first-order proposition
and predicate logic,
as for example taught in the Bachelor course Logic and Modelling
|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: