PP-2006-44: The Tree of Knowledge in Action: Towards a Common Perspective

PP-2006-44: van Benthem, Johan and Pacuit, Eric (2006) The Tree of Knowledge in Action: Towards a Common Perspective. [Report]

Preview	Text (Full Text) PP-2006-44.text.pdf Download (765kB) | Preview
	Text (Abstract) PP-2006-44.abstract.txt Download (479B)

Abstract

We survey a number of decidablity and undecidablity results concerning
epistemic temporal logic. The goal is to provide a general picture
which will facilitate the `sharing of ideas' from a number of
different areas concerned with modeling agents in interactive social
situations.

Item Type:	Report
Report Nr:	PP-2006-44
Series Name:	Prepublication (PP) Series
Year:	2006
Uncontrolled Keywords:	Epistemic Temporal Logic; Dynamic Epistemic Logic; Undecidability; Decidability
Depositing User:	epaquit1
Date Deposited:	12 Oct 2016 14:36
Last Modified:	12 Oct 2016 14:36
URI:	https://eprints.illc.uva.nl/id/eprint/219

Actions (login required)

View Item