Time and location
Wednesday, 12-14, room 0.21, Ludwigstraße 31
Thursday 11-12, room 0.28, Ludwigstraße 31
Basic course material
Lecture notes by Nick Bezhanishvili and Dick de Jongh
Program, exercises, and additional material
(will be updated as the course proceeds)
17 Oct. Course introduction. BHK Interpretation.
Material: pp. 1-7 of the lecture notes.
31 Oct. Completeness of IPC for Kripke semantics. Disjunction property.
Material: p. 18 of the lecture notes (excluding the final remarks on finite model property and IQC) and p. 20 (only the first part on the disjunction property)
07 Nov. Finite model property, decidability. p-morphisms.
14 Nov. Tree model property. Negative translation.
Material: notes (up to and excluding the modal translation)
21 Nov. Modal translation. Topological semantics.
Material: second part of the notes for previous class + class notes
28 Nov. Algebraic semantics, Lindenbaum-Tarski algebra.
Material: pp. 30-34 of the lecture notes + class notes
05 Dec. Intermediate logics.
Material: class notes. (Optionally, for the existence of a continuum of intermediate logic, see Section 5 of the lecture notes, in particular 5.3 and 5.4.)
12 Dec. Rieger-Nishimura lattice and ladder.
Material: class notes
23 Jan. Inquisitive logic.
Material: questions as information types
30 Jan. Inquisitive logic and intermediate logics.
Material: inquisitive logic
6 Feb. Final exam.