Merging DEL and ETL

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 [12] and followed up by [11] and [29]. 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.

• Type: Journal
• Year: 2010
• Where: JOLLI
• Authors: Tomohiro Hoshi
• Keywords: Dynamic Epistemic Logic, Epistemic Temporal Logic, Intelligent Interaction, JOLLI 2010