Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.
In this paper, we start studying epistemic updates using the standard toolkit of duality theory. We focus on public announcements. We give the dual characterization of the corresponding submodel-injection map, as a certain pseudo-quotient map between the complex algebras respectively associated with...
| Hauptverfasser: | , , |
|---|---|
| Weitere Verfasser: | |
| Format: | Journal article |
| Sprache: | English |
| Veröffentlicht: |
Springer
2011
|
Ähnliche Einträge
Philosophical Foundations of Intuitionistic Logic
von: L Nabavi, et al.
Veröffentlicht: (2013-03-01)
von: L Nabavi, et al.
Veröffentlicht: (2013-03-01)