Multi-type display calculus for dynamic epistemic logic

DOI10.1093/logcom/exu068zbMath1403.03027arXiv1805.07586OpenAlexW2130561095MaRDI 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

modularitydynamic epistemic logicdisplay calculusmulti-type system

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (16)

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

This page was built for publication: Multi-type display calculus for dynamic epistemic logic