PP-2006-28: Pacuit, Eric (2006) Some Comments on History Based Structures. [Report]
Preview |
Text (Full Text)
PP-2006-28.text.pdf Download (232kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
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 |
