Exploring the power of converse events

DOI10.1007/978-94-007-0074-1_4zbMATH Open1258.03021OpenAlexW1599479723MaRDI QIDQ2902941FDOQ2902941

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

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

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)

Cites Work

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

Cited In (6)

• Consistency Preservation and Crazy Formulas in BMS
• From DEL to EDL: Exploring the Power of Converse Events
• On axiomatizations of public announcement logic
• Opaque updates
• On inverse operators in dynamic epistemic 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)