Exploring the Power of Converse Events

DOI10.1007/978-94-007-0074-1_4zbMath1258.03021OpenAlexW1599479723MaRDI QIDQ2902941

Guillaume Aucher, Andreas Herzig

Publication date: 23 August 2012

Published in: Dynamic Formal Epistemology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-0074-1_4

zbMATH Keywords

propositional dynamic logicepistemic temporal logicepistemic dynamic logicconverse events

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Related Items (4)

On inverse operators in dynamic epistemic logic ⋮ On axiomatizations of public announcement logic ⋮ Opaque updates ⋮ Dynamic Epistemic Logic as a Substructural Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logic for update products and steps into the past
• Logics of communication and change
• An internal version of epistemic logic
• Temporal languages for epistemic programs
• Reasoning about information change
• A knowledge based semantics of messages
• Descriptions of game actions
• Logics for epistemic programs
• Logics of public communications
• Some comments on history based structures
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Sum and Product in Dynamic Epistemic Logic
• From DEL to EDL: Exploring the Power of Converse Events
• Consistency Preservation and Crazy Formulas in BMS
• Dynamic Epistemic Logic and Knowledge Puzzles
• On the logic of theory change: Partial meet contraction and revision functions
• Belief Revision From the Point of View of Doxastic Logic

This page was built for publication: Exploring the Power of Converse Events