Belief, awareness, and limited reasoning
Artificial Intelligence
The complexity of reasoning about knowledge and time. I. lower bounds
Journal of Computer and System Sciences - 18th Annual ACM Symposium on Theory of Computing (STOC), May 28-30, 1986
Reasoning about knowledge
Modeling belief in dynamic systems, part I: foundations
Artificial Intelligence
Reasoning about Information Change
Journal of Logic, Language and Information
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Distributed Processes and the Logic of Knowledge
Proceedings of the Conference on Logic of Programs
A Knowledge Based Semantics of Messages
Journal of Logic, Language and Information
Complete Axiomatizations for Reasoning about Knowledge and Time
SIAM Journal on Computing
Logics of communication and change
Information and Computation
Axiomatic characterization of the AGM theory of belief revision in a temporal logic
Artificial Intelligence
Sum and Product in Dynamic Epistemic Logic
Journal of Logic and Computation
Dynamic Epistemic Logic
Epistemic dynamics and protocol information
Epistemic dynamics and protocol information
Agreement theorems in dynamic-epistemic logic
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Dynamic epistemic temporal logic
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Interpreted systems semantics for process algebra with identity annotations
TbiLLC'11 Proceedings of the 9th international conference on Logic, Language, and Computation
| Hi-index | 0.00 |
This paper surveys the interface between the two major logical trends that describe agents' intelligent interaction over time: dynamic epistemic logic (DEL) and epistemic temporal logic (ETL). The initial attempt to "merge" DEL and ETL was made in van Benthem et al. (Merging frameworks for interaction: DEL and ETL, 2007) and followed up by van Benthem et al. (J Phil Logic 38(5):491---526, 2009) and Hoshi (Epistemic dynamics and protocol information. Ph.D. thesis, Stanford University Stanford, 2009a). The merged framework provides a systematic comparison between these two logical systems and studies new logics of intelligent interaction. This paper presents the main results and the recent developments at the interface between DEL and ETL.