Exploring the power of converse events

DOI10.1007/978-94-007-0074-1_4MaRDI QIDQ2902941zbMATH OpenOpenAlexFDO

Authors 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

converse eventsepistemic dynamic logicepistemic temporal logicpropositional dynamic logic

Mathematics Subject Classification ID

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

Recommendations

• From DEL to EDL: Exploring the Power of Converse Events
• General dynamic dynamic logic
• Dynamic epistemic logic with branching temporal structures
• DEL-sequents for regression and epistemic planning
• DEL-sequents for progression

Cites work

• A knowledge based semantics of messages
• An internal version of epistemic logic
• Belief Revision From the Point of View of Doxastic Logic
• Consistency Preservation and Crazy Formulas in BMS
• Descriptions of game actions
• Dynamic Epistemic Logic and Knowledge Puzzles
• From DEL to EDL: Exploring the Power of Converse Events
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 3499717 (Why is no real title available?)
• scientific article; zbMATH DE number 1497882 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 1421196 (Why is no real title available?)
• Logic for update products and steps into the past
• Logics for epistemic programs
• Logics of communication and change
• Logics of public communications
• On the logic of theory change: Partial meet contraction and revision functions
• Reasoning about information change
• Some comments on history based structures
• Sum and Product in Dynamic Epistemic Logic
• Temporal languages for epistemic programs
• The logic of public announcements, common knowledge, and private suspicions
• The tree of knowledge in action: towards a common perspective

Cited in

(6)

• Opaque updates
• On inverse operators in dynamic epistemic logic
• From DEL to EDL: Exploring the Power of Converse Events
• Consistency Preservation and Crazy Formulas in BMS
• On axiomatizations of public announcement logic
• Dynamic Epistemic Logic as a Substructural Logic

This page was built for publication: Exploring the power of converse events

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