Dynamic Epistemic Temporal Logic

DOI10.1007/978-3-642-04893-7_21zbMath1196.03024OpenAlexW2144792489MaRDI QIDQ3655234

Audrey Yap, Joshua Sack, Bryan Renne

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)

Related Items (10)

On inverse operators in dynamic epistemic logic ⋮ Merging DEL and ETL ⋮ Logics for actor networks: a two-stage constrained-hybridisation approach ⋮ Dynamic logics of knowledge and access ⋮ Arbitrary public announcement logic with memory ⋮ Logic for update products and steps into the past ⋮ Unnamed Item ⋮ Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic ⋮ Logics of temporal-epistemic actions ⋮ Temporal Aspects of the Dynamics of Knowledge

This page was built for publication: Dynamic Epistemic Temporal Logic