Common belief with the logic of individual belief

被引:0
|
作者
Bonanno, G [1 ]
Nehring, K [1 ]
机构
[1] Univ Calif Davis, Dept Econ, Davis, CA 95616 USA
关键词
multi-modal logic; common belief; negative introspection; axiom; 5;
D O I
10.1002/(SICI)1521-3870(200001)46:1<49::AID-MALQ49>3.0.CO;2-R
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
The logic of common belief does not always reflect that of individual beliefs. In particular, even when the individual belief operators satisfy the KD45 logic, the common belief operator may fail to satisfy axiom 5. That is, it can happen that neither is A commonly believed nor is it common belief that A is not commonly believed. We identify the intersubjective restrictions on individual beliefs that are incorporated in axiom 5 for common belief.
引用
收藏
页码:49 / 52
页数:4
相关论文
共 50 条
  • [21] Just common belief
    不详
    PHI DELTA KAPPAN, 2007, 89 (03) : 162 - 162
  • [22] THE DYNAMICS OF BELIEF AS A BASIS FOR LOGIC
    GARDENFORS, P
    BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1984, 35 (01): : 1 - 10
  • [23] PrSH:: A belief description logic
    Jia, Tao
    Zhao, Wen
    Wang, Lifu
    AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PROCEEDINGS, 2007, 4496 : 31 - +
  • [24] A FORMALIZATION OF LOGIC OF KNOWLEDGE AND BELIEF
    JOHNSON, KG
    JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (04) : 641 - &
  • [25] Belief, logic, and partial truth
    Snow, P
    COMPUTATIONAL INTELLIGENCE, 2003, 19 (02) : 201 - 213
  • [26] RATIONAL BELIEF: AN INTRODUCTION TO LOGIC
    Gentry, George
    ETHICS, 1941, 51 (04) : 494 - 495
  • [27] A complete probabilistic belief logic
    Cao, Zining
    Computational Logic in Multi-Agent Systems, 2007, 4371 : 80 - 94
  • [28] A Probabilistic Semantics for Belief Logic
    He, Jiaqi
    Liu, Hu
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2021, 62 (04) : 643 - 659
  • [29] On the pure logic of justified belief
    Daniela Schuster
    Leon Horsten
    Synthese, 200
  • [30] Neural networks and belief logic
    Chen, YY
    Chen, JJ
    HIS'04: Fourth International Conference on Hybrid Intelligent Systems, Proceedings, 2005, : 460 - 461