Multi-type display calculus for dynamic epistemic logic
From MaRDI portal
Publication:2957975
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
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
