Download PDFOpen PDF in browserDynamic sequent calculus for the logic of Epistemic Actions and Knowledge3 pages•Published: July 28, 2014AbstractWe develop a family of display-style, cut-free sequent calculi for dynamic epistemic logics on both an intuitionistic and a classical base. Like the standard display calculi, these calculi are modular: just by modifying the structural rules according to Dosen’s principle, these calculi are generalizable both to different Dynamic Logics (Epistemic, Deontic, etc.) and to different propositional bases (Linear, Relevant, etc.). Moreover, the rules they feature agree with the standard relational semantics for dynamic epistemic logics.Keyphrases: algebraic logic, categorical methods in logic, coalgebra, modal logics, non classical logics, proofs and types, substructural logics In: Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors). TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, vol 25, pages 85-87.
|