Dynamic Epistemic Logic and Temporal Modality
From MaRDI portal
Publication:2902940
DOI10.1007/978-94-007-0074-1_3zbMath1260.03028MaRDI QIDQ2902940
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
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
68T30: Knowledge representation
03B44: Temporal logic
Related Items
The application of constraint semantics to the language of subjective uncertainty, Logics of temporal-epistemic actions, Merging DEL and ETL, Reverse public announcement operators on expanded models, Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic
Cites Work