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]

[img]
Preview
Text (Full Text)
PP-2006-44.text.pdf

Download (765kB) | Preview
[img] 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 View Item