Logics of temporal-epistemic actions

DOI10.1007/s11229-015-0773-6zbMath1396.03026DBLPjournals/synthese/RenneSY16arXiv1411.6279OpenAlexW1769115041WikidataQ59465581 ScholiaQ59465581MaRDI QIDQ516250

Bryan Renne, Joshua Sack, Audrey Yap

Publication date: 14 March 2017

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1411.6279

zbMATH Keywords

epistemic logicdynamic epistemic logicepistemic temporal logicasynchronicity

Mathematics Subject Classification ID

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

Related Items (5)

On inverse operators in dynamic epistemic logic ⋮ A history based logic for dynamic preference updates ⋮ Reverse public announcement operators on expanded models ⋮ Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems ⋮ Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Merging DEL and ETL
• Logic for update products and steps into the past
• Logics of communication and change
• Dynamic epistemic logic
• Temporal languages for epistemic programs
• Dynamic epistemic logic with branching temporal structures
• Merging frameworks for interaction
• A knowledge based semantics of messages
• Logics for epistemic programs
• Dynamic Epistemic Logic and Temporal Modality
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• ARROW UPDATE LOGIC
• ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
• Dynamic Epistemic Temporal Logic
• Temporal Aspects of the Dynamics of Knowledge

This page was built for publication: Logics of temporal-epistemic actions