Logic and Modelling - Period 5

The focus of the lecture is on propositional logic and first-order predicate logic. We work with natural deduction as proof system. The relation between semantic and syntactic methods is important; the central keywords are correctness, consistency and completeness. Moreover, we pay attention to expressive power, for example when formulating queries. A fundamental tool, for this purpose, is the compactness theorem. Algorithmically there the contrast between the decidability of propositional logic and the undecidability of predicate logic (for example, seen by a coding of the Post Correspondence Problem). As a variation of the mentioned logics, we consider modal logic with Kripke models as semantics.

Vrije Universiteit Amsterdam (VU Amsterdam) awards credits based on the ECTS system. Contact hours listed under a course description may vary due to the combination of lecture-based and independent work required for each course therefore, CEA's recommended credits are based on the ECTS credits assigned by VU Amsterdam. 1 ECTS equals 28 contact hours assigned by VU Amsterdam.