PP-2006-39: Yap, Audrey (2006) Product Update and Looking Backward. [Report]
Preview |
Text (Full Text)
PP-2006-39.text.pdf Download (249kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2006-39.abstract.txt Download (828B) |
Abstract
The motivation behind this paper is to look at temporal information in
models of BMS product update. That is, it may be useful to look at
models produced through taking products with action models, as being
structurally similar to game trees. So a state in a product can be
seen as encoding a history of actions, along with an original
world. Given that, it seems useful to add the ability to express
information about past states. For this purpose, we can combine a
temporal modality with product update. This involves adding a new
modality to the language allowing us to form statements similar to
"Before you did $c$, I didn't know whether $\phi$ was true, but now I
know that $\phi$ is false."
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2006-39 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2006 |
| Uncontrolled Keywords: | Baltag-Moss-Solecki; product update; action models; games |
| Depositing User: | Benedikt |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/214 |
Actions (login required)
 |
View Item |
