Pavlova, A. (2022). Public Announcements for Intuitionistic Epistemic Logic. In Proceedings of the 8th Workshop on Formal and Cognitive Reasoning (pp. 29–40). CEUR-WS.org. https://doi.org/10.34726/3507
Proceedings of the 8th Workshop on Formal and Cognitive Reasoning
-
Volume:
3242
-
Date (published):
17-Oct-2022
-
Event name:
8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence {(KI} 2022)
en
Event date:
19-Sep-2022
-
Event place:
Trier, Germany
-
Number of Pages:
12
-
Publisher:
CEUR-WS.org
-
Peer reviewed:
Yes
-
Keywords:
Intuitionistic Epistemic Logic; Public Announcement; Kripke Semantics
en
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
Project title:
Von semantischen Spielen zu Kalkülen – und retour: P32684-N (Fonds zur Förderung der wissenschaftlichen Forschung (FWF))
CC BY 4.0
