Sciweavers

Share
JOLLI
2010

Merging DEL and ETL

9 years 5 months ago
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.
Tomohiro Hoshi
Added 28 Jan 2011
Updated 28 Jan 2011
Type Journal
Year 2010
Where JOLLI
Authors Tomohiro Hoshi
Comments (0)
books