PP-2006-39: Product Update and Looking Backward

PP-2006-39: Yap, Audrey (2006) Product Update and Looking Backward. [Report]

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

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