A proof-theoretic semantic analysis of dynamic epistemic logic

DOI10.1093/logcom/exu063zbMath1403.03026arXiv1805.07584OpenAlexW2143236485MaRDI QIDQ2957974

Sabine Frittella, Alessandra Palmigiano, Vlasta Sikimić, Giuseppe Greco, 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.07584

zbMATH Keywords

dynamic epistemic logicproof-theoretic semanticsdisplay calculus

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 (9)

Linear Logic Properly Displayed ⋮ Constructive Game Logic ⋮ Probabilistic Epistemic Updates on Algebras ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Bilattice logic of epistemic actions and knowledge ⋮ Reasoning about distributed information with infinitely many agents ⋮ Bilattice logic properly displayed ⋮ Proper multi-type display calculi for rough algebras

This page was built for publication: A proof-theoretic semantic analysis of dynamic epistemic logic