Dynamic epistemic logic displayed

DOI10.1007/978-3-642-40948-6_11MaRDI QIDQ2859101zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Multi-type display calculus for dynamic epistemic logic
• A proof-theoretic semantic analysis of dynamic epistemic logic
• Epistemic updates on bilattices
• Algebra and sequent calculus for epistemic actions
• A cut-free labelled sequent calculus for dynamic epistemic logic

Cited in

(13)

• Display calculi for logics with relative accessibility relations
• 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
• A proof-theoretic semantic analysis of dynamic epistemic logic
• Multi-type display calculus for dynamic epistemic logic
• Probabilistic Epistemic Updates on Algebras
• THE LOGIC OF RESOURCES AND CAPABILITIES
• A general framework for dynamic epistemic logic: towards canonical correspondences
• Linear Logic Properly Displayed

This page was built for publication: Dynamic epistemic logic displayed

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2859101)