Graduate studies at Western
Journal of Logic, Language and Information 19 (4):413-430 (2010)
|Abstract||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|
|Keywords||Intelligent interaction Reasoning about knowledge Dynamic epistemic logic (DEL) Epistemic temporal logic (ETL)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Fenrong Liu (2009). Diversity of Agents and Their Interaction. Journal of Logic, Language and Information 18 (1):23-53.
Johan van Benthem (2011). Logical Dynamics of Information and Interaction. Cambridge University Press.
Tomohiro Hoshi & Audrey Yap (2009). Dynamic Epistemic Logic with Branching Temporal Structures. Synthese 169 (2):259 - 281.
Johan Van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit (2009). Merging Frameworks for Interaction. Journal of Philosophical Logic 38 (5):491 - 526.
Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit (2009). Merging Frameworks for Interaction. Journal of Philosophical Logic 38 (5):491-526.
Added to index2010-01-13
Total downloads10 ( #114,394 of 739,304 )
Recent downloads (6 months)1 ( #61,243 of 739,304 )
How can I increase my downloads?