Mathematical Logic Foundations

Research Frontiers in Sequent Calculus for Propositional Modal Logic

Development of complete sequent calculi for various modal logics with focus on structural properties and proof-theoretic analysis.

All Mathematical Logic & Foundations PhD categories