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]

[thumbnail of Full Text]
Text (Full Text)

Download (765kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (479B)


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

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 View Item