TY - JOUR
T1 - Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
AU - Ma, Minghui
AU - Palmigiano, Alessandra
AU - Sadrzadeh, Mehrnoosh
PY - 2014/4/1
Y1 - 2014/4/1
N2 - In the present paper, we start studying epistemic updates using the standard toolkit of duality theory. We focus on public announcements, which are the simplest epistemic actions, and hence on Public Announcement Logic (PAL) without the common knowledge operator. As is well known, the epistemic action of publicly announcing a given proposition is semantically represented as a transformation of the model encoding the current epistemic setup of the given agents; the given current model being replaced with its submodel relativized to the announced proposition. We dually characterize the associated submodel-injection map as a certain pseudo-quotient map between the complex algebras respectively associated with the given model and with its relativized submodel. As is well known, these complex algebras are complete atomic BAOs (Boolean algebras with operators). The dual characterization we provide naturally generalizes to much wider classes of algebras, which include, but are not limited to, arbitrary BAOs and arbitrary modal expansions of Heyting algebras (HAOs). Thanks to this construction, the benefits and the wider scope of applications given by a point-free, intuitionistic theory of epistemic updates are made available. As an application of this dual characterization, we axiomatize the intuitionistic analogue of PAL, which we refer to as IPAL, prove soundness and completeness of IPAL w.r.t. both algebraic and relational models, and show that the well known Muddy Children Puzzle can be formalized in IPAL.
AB - In the present paper, we start studying epistemic updates using the standard toolkit of duality theory. We focus on public announcements, which are the simplest epistemic actions, and hence on Public Announcement Logic (PAL) without the common knowledge operator. As is well known, the epistemic action of publicly announcing a given proposition is semantically represented as a transformation of the model encoding the current epistemic setup of the given agents; the given current model being replaced with its submodel relativized to the announced proposition. We dually characterize the associated submodel-injection map as a certain pseudo-quotient map between the complex algebras respectively associated with the given model and with its relativized submodel. As is well known, these complex algebras are complete atomic BAOs (Boolean algebras with operators). The dual characterization we provide naturally generalizes to much wider classes of algebras, which include, but are not limited to, arbitrary BAOs and arbitrary modal expansions of Heyting algebras (HAOs). Thanks to this construction, the benefits and the wider scope of applications given by a point-free, intuitionistic theory of epistemic updates are made available. As an application of this dual characterization, we axiomatize the intuitionistic analogue of PAL, which we refer to as IPAL, prove soundness and completeness of IPAL w.r.t. both algebraic and relational models, and show that the well known Muddy Children Puzzle can be formalized in IPAL.
KW - Algebraic models
KW - Duality
KW - Intuitionistic modal logic
KW - Intuitionistic Public Announcement Logic
KW - Pointfree semantics
KW - Public Announcement Logic
UR - http://www.scopus.com/inward/record.url?scp=84892896965&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84892896965&partnerID=8YFLogxK
U2 - 10.1016/j.apal.2013.11.004
DO - 10.1016/j.apal.2013.11.004
M3 - Article
AN - SCOPUS:84892896965
SN - 0168-0072
VL - 165
SP - 963
EP - 995
JO - Annals of Pure and Applied Logic
JF - Annals of Pure and Applied Logic
IS - 4
ER -