Dynamic epistemic logic and temporal modality

DOI10.1007/978-94-007-0074-1_3MaRDI QIDQ2902940zbMATH OpenOpenAlexFDO

Authors Audrey Yap

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_3

zbMATH Keywords

common knowledgedynamic logicepistemic logicpast time modalitytemporal logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Dynamic epistemic logic with branching temporal structures
• DEL-sequents for progression
• Logic for update products and steps into the past
• Logics of temporal-epistemic actions
• General dynamic dynamic logic

Cites work

• Dynamic Epistemic Logic and Knowledge Puzzles
• The logic of public announcements, common knowledge, and private suspicions
• The undecidability of iterated modal relativization

Cited in

(13)

• Dynamic epistemic logic with branching temporal structures
• Reverse public announcement operators on expanded models
• On inverse operators in dynamic epistemic logic
• The application of constraint semantics to the language of subjective uncertainty
• Future event logic -- axioms and complexity
• Knowledge, time, and paradox: introducing sequential epistemic logic
• From DEL to EDL: Exploring the Power of Converse Events
• Taming the Complexity of Temporal Epistemic Reasoning
• scientific article; zbMATH DE number 1754686 (Why is no real title available?)
• Logics of temporal-epistemic actions
• Merging DEL and ETL
• Logic for update products and steps into the past
• A logical formalisation of false belief tasks

This page was built for publication: Dynamic epistemic logic and temporal modality

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