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 条
  • [1] Public Announcement Logic with Distributed Knowledge
    Wang, Yi N.
    Agotnes, Thomas
    LOGIC, RATIONALITY, AND INTERACTION, 2011, 6953 : 328 - 341
  • [2] Hybrid Public Announcement Logic with Distributed Knowledge
    Hansen, Jens Ulrik
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 273 : 33 - 50
  • [3] Public announcement logic with distributed knowledge: expressivity, completeness and complexity
    Wang, Yi N.
    Agotnes, Thomas
    SYNTHESE, 2013, 190 : 135 - 162
  • [4] Public announcement logic with distributed knowledge: expressivity, completeness and complexity
    Yì N. Wáng
    Thomas Ågotnes
    Synthese, 2013, 190 : 135 - 162
  • [5] Intuitionistic Epistemic Logic with Distributed Knowledge
    Murai, Ryo
    Sano, Katsuhiko
    COMPUTACION Y SISTEMAS, 2022, 26 (02): : 823 - 834
  • [6] A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic
    Nomura, Shoshin
    Sano, Katsuhiko
    Tojo, Satoshi
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, (LPAR-20 2015), 2015, 9450 : 187 - 202
  • [7] Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic
    Sadrzadeh, Mehrnoosh
    Palmigiano, Alessandra
    Ma, Minghui
    LOGIC, RATIONALITY, AND INTERACTION, 2011, 6953 : 394 - +
  • [8] Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
    Ma, Minghui
    Palmigiano, Alessandra
    Sadrzadeh, Mehrnoosh
    ANNALS OF PURE AND APPLIED LOGIC, 2014, 165 (04) : 963 - 995
  • [9] Labelled Natural Deduction for Public Announcement Logic with Common Knowledge
    Nasir, Muhammad Farhan Mohd
    Othman, Wan Ainun Mior
    Wong, Kok Bin
    MATHEMATICS, 2020, 8 (04)
  • [10] On axiomatizations of public announcement logic
    Wang, Yanjing
    Cao, Qinxiang
    SYNTHESE, 2013, 190 : 103 - 134
12345