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 条
  • [21] Arbitrary Public Announcement Logic with Memory
    Alexandru Baltag
    Aybüke Özgün
    Ana Lucia Vargas Sandoval
    Journal of Philosophical Logic, 2023, 52 : 53 - 110
  • [22] Arbitrary Public Announcement Logic with Mental Programs
    Charrier, Tristan
    Schwarzentruber, Francois
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15), 2015, : 1471 - 1479
  • [23] A Case Study Integrating Knowledge Graphs and Intuitionistic Logic
    Alkmim, Bernardo
    Haeusler, Edward
    Schwabe, Daniel
    AI APPROACHES TO THE COMPLEXITY OF LEGAL SYSTEMS XI-XII, 2021, 13048 : 106 - 124
  • [24] Linear Temporal Public Announcement Logic: A New Perspective for Reasoning About the Knowledge of Multi-classifiers
    Amirhoshang Hoseinpour Dehkordi
    Majid Alizadeh
    Ali Movaghar
    Bulletin of the Iranian Mathematical Society, 2023, 49
  • [25] Linear Temporal Public Announcement Logic: A New Perspective for Reasoning About the Knowledge of Multi-classifiers
    Dehkordi, Amirhoshang Hoseinpour
    Alizadeh, Majid
    Movaghar, Ali
    BULLETIN OF THE IRANIAN MATHEMATICAL SOCIETY, 2023, 49 (02)
  • [26] INTUITIONISTIC LOGIC IN AN INTUITIONISTIC METALANGUAGE - INTUITIONISTICALLY PLAUSIBLE INTERPRETATION OF INTUITIONISTIC LOGIC
    DESWART, H
    JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 130 - 131
  • [27] Formalized soundness and completeness of epistemic and public announcement logic
    From, Asta Halkjaer
    JOURNAL OF LOGIC AND COMPUTATION, 2024,
  • [28] Tableaux for Non-normal Public Announcement Logic
    Ma, Minghui
    Sano, Katsuhiko
    Schwarzentruber, Francois
    Velazquez-Quesada, Fernando R.
    LOGIC AND ITS APPLICATIONS, ICLA 2015, 2015, 8923 : 132 - 145
  • [29] Future determination of entities in Talmudic public announcement logic
    Abraham, M.
    Belfer, I.
    Gabbay, D. M.
    Schild, U.
    JOURNAL OF APPLIED LOGIC, 2013, 11 (01) : 63 - 90
  • [30] Revising a Labelled Sequent Calculus for Public Announcement Logic
    Nomura, Shoshin
    Sano, Katsuhiko
    Tojo, Satoshi
    STRUCTURAL ANALYSIS OF NON-CLASSICAL LOGICS, 2016, : 131 - 157
12345