From DEL to EDL: Exploring the Power of Converse Events

DOI10.1007/978-3-540-75256-1_20MaRDI QIDQ3524930zbMATH OpenOpenAlexFDO

Authors Guillaume Aucher, Andreas Herzig

Publication date 16 September 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75256-1_20

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• Exploring the power of converse events
• Dynamic epistemic logic and temporal modality
• Dynamic epistemic logic in update logic
• DEL-sequents for progression
• General dynamic dynamic logic

Cites work

• 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 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 1421196 (Why is no real title available?)
• Belief Revision From the Point of View of Doxastic Logic
• Descriptions of game actions
• Dynamic epistemic logic
• Logics for epistemic programs
• On the logic of theory change: Partial meet contraction and revision functions
• Reasoning about information change
• The logic of public announcements, common knowledge, and private suspicions
• The tree of knowledge in action: towards a common perspective

Cited in

(7)

• Logics of rational interaction
• Introspective forgetting
• Exploring the power of converse events
• Dynamic epistemic logic with branching temporal structures
• Reverse public announcement operators on expanded models
• A general framework for dynamic epistemic logic: towards canonical correspondences
• Learning in a changing world, an algebraic modal logical approach

This page was built for publication: From DEL to EDL: 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 Q3524930)