Dynamic Epistemic Logic Displayed
From MaRDI portal
Publication:2859101
DOI10.1007/978-3-642-40948-6_11zbMath1407.03019MaRDI 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
03B42: Logics of knowledge and belief (including belief change)
Related Items
THE LOGIC OF RESOURCES AND CAPABILITIES, A general framework for dynamic epistemic logic: towards canonical correspondences, Linear Logic Properly Displayed, Semi De Morgan logic properly displayed, On inverse operators in dynamic epistemic logic, Hypersequent and display calculi -- a unified perspective, Bilattice logic properly displayed, Proper multi-type display calculi for rough algebras, A Multi-type Calculus for Inquisitive Logic, Probabilistic Epistemic Updates on Algebras