Dynamic epistemic logic with branching temporal structures

DOI10.1007/s11229-009-9552-6zbMath1184.03009OpenAlexW1982395595MaRDI QIDQ1036059

Audrey Yap, Tomohiro Hoshi

Publication date: 4 November 2009

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-009-9552-6

zbMATH Keywords

modal logicepistemic logicdynamic epistemic logicepistemic temporal logicDELETL

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Related Items (14)

Quantified temporal alethic boulesic doxastic logic ⋮ Logics of Rational Interaction ⋮ A general framework for dynamic epistemic logic: towards canonical correspondences ⋮ Merging DEL and ETL ⋮ To know or not to know: Epistemic approaches to security protocol verification ⋮ Dynamic logics of knowledge and access ⋮ Logic for update products and steps into the past ⋮ Reverse public announcement operators on expanded models ⋮ Information dynamics and uniform substitution ⋮ Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic ⋮ Logics of temporal-epistemic actions ⋮ Opaque updates ⋮ Temporal Aspects of the Dynamics of Knowledge ⋮ A Computational Learning Semantics for Inductive Empirical Knowledge

Cites Work

• Unnamed Item
• The secret of my success
• Logics of communication and change
• Merging frameworks for interaction
• A knowledge based semantics of messages
• The undecidability of iterated modal relativization
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Dynamic Epistemic Logic and Knowledge Puzzles
• Multiagent Systems

This page was built for publication: Dynamic epistemic logic with branching temporal structures