Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge

3 pages•Published: July 28, 2014

Giuseppe Greco, Alexander Kurz and Alessandra Palmigiano

Abstract

We 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.

Links:	https://easychair.org/publications/paper/3vX
	https://doi.org/10.29007/mwpp

BibTeX entry

@inproceedings{TACL2013:Dynamic_sequent_calculus_logic,
  author    = {Giuseppe Greco and Alexander Kurz and Alessandra Palmigiano},
  title     = {Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/3vX},
  doi       = {10.29007/mwpp},
  pages     = {85-87},
  year      = {2014}}

Download PDF Open PDF in browser