Intuitionistic Public Announcement Logic with Distributed Knowledge

被引：0
|
作者：
Murai, Ryo [1 ]
Sano, Katsuhiko [2 ]
机构：
[1] Hokkaido Univ, Grad Sch Humanities & Human Sci, Nishi 7 Chome, Kita 10 Jo, Kita Ku, Sapporo, Hokkaido 0600810, Japan
[2] Hokkaido Univ, Fac Humanities & Human Sci, Nishi 7 Chome, Kita 10 Jo, Kita Ku, Sapporo, Hokkaido 0600810, Japan
来源：
STUDIA LOGICA | 2024年 / 112卷 / 03期
关键词：
Intuitionistic epistemic logic; Public announcement logic; Distributed knowledge; COMPLETENESS;
D O I：
10.1007/s11225-023-10066-1
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We develop intuitionistic public announcement logic over intuitionistic K, KT, K4, and S4 with distributed knowledge. We reveal that a recursion axiom for the distributed knowledge is not valid for a frame class discussed in [12] but valid for the restricted frame class introduced in [20,26]. The semantic completeness of the static logics for this restricted frame class is established via the concept of pseudo-model.
引用
收藏
页码：661 / 691
页数：31
相关论文
共 50 条
  • [41] A Logic of Explicit and Implicit Distributed Belief
    Herzig, Andreas
    Lorini, Emiliano
    Perrotin, Elise
    Romero, Fabian
    Schwarzentruber, Francois
    ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, 325 : 753 - 760
  • [42] A Mechanised and Constructive Reverse Analysis of Soundness and Completeness of Bi-intuitionistic Logic
    Shillito, Ian
    Kirst, Dominik
    PROCEEDINGS OF THE 13TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2024, 2024, : 218 - 229
  • [43] A Logic for Reasoning About Knowledge of Unawareness
    Thomas Ågotnes
    Natasha Alechina
    Journal of Logic, Language and Information, 2014, 23 : 197 - 217
  • [44] A Logic for Reasoning About Knowledge of Unawareness
    Agotnes, Thomas
    Alechina, Natasha
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2014, 23 (02) : 197 - 217
  • [45] Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power
    Agotnes, Thomas
    Alechina, Natasha
    Galimullin, Rustam
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2022, 31 (02) : 141 - 166
  • [46] Distributed Knowledge Justification Logics
    Meghdad Ghari
    Theory of Computing Systems, 2014, 55 : 1 - 40
  • [47] Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power
    Thomas Ågotnes
    Natasha Alechina
    Rustam Galimullin
    Journal of Logic, Language and Information, 2022, 31 : 141 - 166
  • [48] Distributed Knowledge Justification Logics
    Ghari, Meghdad
    THEORY OF COMPUTING SYSTEMS, 2014, 55 (01) : 1 - 40
  • [49] A hybrid logic of knowledge supporting topological reasoning
    Heinemann, B
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, 2004, 3116 : 181 - 195
  • [50] Relativized common knowledge for dynamic epistemic logic
    Wang, Yi N.
    Agotnes, Thomas
    JOURNAL OF APPLIED LOGIC, 2015, 13 (03) : 370 - 393
12345