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...

Full description

Bibliographic Details
Main Authors: Alexander A Kurz, Alessandra A Palmigiano
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2013-12-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/897/pdf