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...
Main Authors: | Sadrzadeh, M, Palmigiano, A, Ma, M |
---|---|
Other Authors: | Ditmarsch, H |
Format: | Journal article |
Language: | English |
Published: |
Springer
2011
|
Similar Items
-
Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
by: Ma, M, et al.
Published: (2011) -
A Runs−and−Systems Semantics for Logics of Announcement
by: Pucella, R, et al.
Published: (2009) -
Algebraic axiomatization of tense intuitionistic logic
by: Chajda Ivan
Published: (2011-10-01) -
A Criticism of Kripke’s Semantic for Intuitionistic Logic
by: Wagner de Campos Sanz
Published: (2016-12-01) -
Intuitionistic Layered Graph Logic: Semantics and Proof Theory
by: Simon Docherty, et al.
Published: (2018-10-01)