DagSemProc.09351.6.pdf
- Filesize: 38 kB
- 3 pages
In this brief note, I would like to suggest that it makes sense to reinterpret product update, as introduced by Baltag, Moss and Solecki, as a system to account for observations and metaobservations, where a meta-observation is an observation of an observation. Under this interpretation we also take products of action models with meta-action models. I deliberate on some possible consequences of this extension to the interpretation of product update.
Feedback for Dagstuhl Publishing