Dynamic Epistemic Logic Displayed

DOI10.1007/978-3-642-40948-6_11zbMath1407.03019OpenAlexW2207948284MaRDI QIDQ2859101

Giuseppe Greco, Alessandra Palmigiano, Alexander Kurz

Publication date: 6 November 2013

Published in: Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL: http://www.appliedlogictudelft.nl/wp-content/uploads/2014/02/G-Greco_A-Kurz_A-Palmigiano_Dynamic-Epistemic-Logic-Displayed_Applied-Logic-TU-Delft.pdf

Mathematics Subject Classification ID

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

Related Items (10)

Linear Logic Properly Displayed ⋮ Probabilistic Epistemic Updates on Algebras ⋮ On inverse operators in dynamic epistemic logic ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ A general framework for dynamic epistemic logic: towards canonical correspondences ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Semi De Morgan logic properly displayed ⋮ A Multi-type Calculus for Inquisitive Logic ⋮ Bilattice logic properly displayed ⋮ Proper multi-type display calculi for rough algebras

This page was built for publication: Dynamic Epistemic Logic Displayed