<div class="csl-bib-body">
<div class="csl-entry">Pavlova, A. (2022). Public Announcements for Intuitionistic Epistemic Logic. In <i>Proceedings of the 8th Workshop on Formal and Cognitive Reasoning</i> (pp. 29–40). CEUR-WS.org. https://doi.org/10.34726/3507</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/150302
-
dc.identifier.uri
https://doi.org/10.34726/3507
-
dc.description.abstract
We introduce intuitionistic public announcement logic: system for public announcement in intuitionistic logic as well as in a variant of intuitionistic epistemic logic, namely IEL with a knowledge modal operator K interpreted as “it is verified that the formula holds intuitionisticly", i.e., that it has a proof which is not necessarily specified in the process of verification. Hilbert style axiomatisations and Kripke-style semantics for the systems are provided and soundness and completeness of the axiomatisation are discussed. The completeness theorem is proved by the standard method of translation and reduction of the question of completeness of the PA systems to the systems without PA operators.
en
dc.description.sponsorship
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
dc.language.iso
en
-
dc.relation.ispartofseries
CEUR Workshop Proceedings
-
dc.rights.uri
http://creativecommons.org/licenses/by/4.0/
-
dc.subject
Intuitionistic Epistemic Logic
en
dc.subject
Public Announcement
en
dc.subject
Kripke Semantics
en
dc.title
Public Announcements for Intuitionistic Epistemic Logic
