Multi-type display calculus for dynamic epistemic logic

DOI10.1093/logcom/exu068zbMath1403.03027arXiv1805.07586MaRDI QIDQ2957975

Vlasta Sikimić, Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Alexander Kurz

Publication date: 31 January 2017

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1805.07586

zbMATH Keywords

modularity; dynamic epistemic logic; display calculus; multi-type system

Mathematics Subject Classification ID

03B42: Logics of knowledge and belief (including belief change)

03F05: Cut-elimination and normal-form theorems

03F03: Proof theory in general (including proof-theoretic semantics)

Related Items

THE LOGIC OF RESOURCES AND CAPABILITIES, Syntactic Completeness of Proper Display Calculi, A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic, Monoidal logics: completeness and classical systems, Unnamed Item, Completeness of Nominal PROPs, Linear Logic Properly Displayed, Labelled calculi for lattice-based modal logics, Bilattice logic of epistemic actions and knowledge, Semi De Morgan logic properly displayed, A duality for two-sorted lattices, Algorithmic correspondence and canonicity for non-distributive logics, Proper multi-type display calculi for rough algebras, Disentangling structural connectives or life without display property, Non-normal modal logics and conditional logics: semantic analysis and proof theory, Probabilistic Epistemic Updates on Algebras