Logic and possible worlds (PhD)

<p>Seminar.</p>

Base knowledge of modal logic and proof theory.

Module 3:

Proof theory for modal logics: sequent calculi. Generalizations of sequent calculi: structural properties and applications. Analytic calculi for intuitionistic logic. Overview of proof theory for other non-classical logics.

F. Poggiolesi, Gentzen Calculi for Modal Propositional Logic, Springer, 2011.

Further references will be given during lectures.