A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic

Simone Martini, Andrea Masini, Margherita Zorzi

Extending and generalizing the approach of 2-sequents (Masini, 1992), we present sequent calculi for the classical modal logics in the K, D, T, S4 spectrum. The systems are present…