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