Epistemic Updates on Algebras
We develop the mathematical theory of epistemic updates with the tools of duality theory. We focus on the Logic of Epistemic Actions and Knowledge (EAK), introduced by Baltag-Moss- Solecki, without the common knowledge operator. We dually characterize the product update construction of EAK as a cert...
| Päätekijät: | , |
|---|---|
| Aineistotyyppi: | Artikkeli |
| Kieli: | English |
| Julkaistu: |
Logical Methods in Computer Science e.V.
2013-12-01
|
| Sarja: | Logical Methods in Computer Science |
| Aiheet: | |
| Linkit: | https://lmcs.episciences.org/897/pdf |