Modal Logics of Provability and Interpretability

Logic and Computation Courses

Advanced Course

Modal Logics of Provability and Interpretability,
Tin Perkov (University of Zagreb, Croatia)

This course presents modal treatment of provability and interpretability in arithmetical theories. The focus is on Kripke semantics for provability logic GL and Veltman semantics for interpretability logic IL and its extensions. The proofs of modal completeness for these logics will be presented and arithmetical ramifications will be discussed. The course is concluded with an overview of some of the latest developments in model theory of interpretability logic.