PP-2006-28: Some Comments on History Based Structures

PP-2006-28: Pacuit, Eric (2006) Some Comments on History Based Structures. [Report]

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

Download (232kB) | Preview
[img] Text (Abstract)
PP-2006-28.abstract.txt

Download (1kB)

Abstract

History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a "low level" description of a social situation - describing the situation in terms of events, sequences of events, and the agents' view of these events. A multi-agent epistemic temporal modal logic can be used to reason about these structures. A number of other models have been proposed in the literature which can be used as a semantics for such a logical language. Most notably, the interpreted systems discussed by Fagin et al. In this paper, we will discuss the differences and similarities between these two mathematical models. In particular, it is shown that these two semantics are modally equivalent. We will conclude with a discussion of a number of questions that are raised when history based models are used to reason about game-theoretic situations.

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

Actions (login required)

View Item View Item