Dynamic epistemic temporal logic

DOI10.1007/978-3-642-04893-7_21MaRDI QIDQ3655234zbMATH OpenOpenAlexFDO

Authors Bryan Renne, Joshua Sack, Audrey Yap

Publication date 7 January 2010

Published in Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04893-7_21

Mathematics Subject Classification ID

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

Recommendations

• Logics of temporal-epistemic actions
• Dynamic epistemic logic with branching temporal structures
• scientific article; zbMATH DE number 1537935
• Connecting dynamic epistemic and temporal epistemic logics
• Merging frameworks for interaction

Cited in

(12)

• On inverse operators in dynamic epistemic logic
• Logics for actor networks: a two-stage constrained-hybridisation approach
• Arbitrary public announcement logic with memory
• Knowledge, time, and paradox: introducing sequential epistemic logic
• Coalition and group announcement logic
• Taming the Complexity of Temporal Epistemic Reasoning
• Logics of temporal-epistemic actions
• Temporal Aspects of the Dynamics of Knowledge
• Synchronizing diachronic uncertainty
• Merging DEL and ETL
• Dynamic logics of knowledge and access
• Logic for update products and steps into the past

This page was built for publication: Dynamic epistemic temporal logic

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