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 条
  • [31] Intuitionistic Logic As Epistemic Logic
    Jaakko Hintikka
    Synthese, 2001, 127 : 7 - 19
  • [32] Intuitionistic logic as epistemic logic
    Hintikka, J
    SYNTHESE, 2001, 127 (1-2) : 7 - 19
  • [33] Linear logic and intuitionistic logic
    Okada, M
    REVUE INTERNATIONALE DE PHILOSOPHIE, 2004, 58 (230) : 449 - 481
  • [34] Intuitionistic Logic is a Connexive Logic
    Fazio, Davide
    Ledda, Antonio
    Paoli, Francesco
    STUDIA LOGICA, 2024, 112 (1-2) : 95 - 139
  • [35] Intuitionistic Logic is a Connexive Logic
    Davide Fazio
    Antonio Ledda
    Francesco Paoli
    Studia Logica, 2024, 112 : 95 - 139
  • [36] Predictive Theory of Mind Models Based on Public Announcement Logic
    Top, Jakob Dirk
    Jonker, Catholijn
    Verbrugge, Rineke
    de Weerd, Harmen
    DYNAMIC LOGIC. NEW TRENDS AND APPLICATIONS, DALI 2023, 2024, 14401 : 85 - 103
  • [37] Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer)
    Kramer, Simon
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2015, 16 (04)
  • [38] Coalition logic with individual, distributed and common knowledge
    Agotnes, Thomas
    Alechina, Natasha
    JOURNAL OF LOGIC AND COMPUTATION, 2019, 29 (07) : 1041 - 1069
  • [39] EMBEDDING CLASSICAL LOGIC IN INTUITIONISTIC LOGIC
    MYHILL, J
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1973, 19 (01): : 93 - 96
  • [40] Intuitionistic Fuzzy Implications and the Axioms of Intuitionistic Logic
    Angelova, Nora A.
    Atanassov, Krassimir T.
    PROCEEDINGS OF THE 2015 CONFERENCE OF THE INTERNATIONAL FUZZY SYSTEMS ASSOCIATION AND THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY, 2015, 89 : 1578 - 1584
12345