On the logic of common belief

被引：9

作者：

Bonanno, G

机构：

[1] UNIV CALIF DAVIS,DEPT ECON,DAVIS,CA 95616

[2] HARVARD UNIV,CAMBRIDGE,MA 02138

来源：

MATHEMATICAL LOGIC QUARTERLY | 1996年 / 42卷 / 03期

关键词：

multi-modal logic; common belief; Kripke model;

D O I：

10.1002/malq.19960420126

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We investigate an axiomatization of the notion of common belief (knowledge) that makes use of no rules of inference (apart from Modus Ponens and Necessitation) and highlight the property of the set of accessibility relations that characterizes each axiom.

引用

收藏

页码：305 / 311

页数：7

相关论文

共 16 条

[1] AGREEING TO DISAGREE [J].

AUMANN, RJ .

ANNALS OF STATISTICS, 1976, 4 (06) :1236-1239

[2] SOME EXTENSIONS OF A CLAIM OF AUMANN IN AN AXIOMATIC MODEL OF KNOWLEDGE [J].

BACHARACH, M .

JOURNAL OF ECONOMIC THEORY, 1985, 37 (01) :167-190

[3]

Chellas BF, 1980, MODAL LOGIC

[4]

COLOMBETTI M, 1993, ARTIF INTELL, V82, P341

[5] COMMON KNOWLEDGE [J].

GEANAKOPLOS, J .

JOURNAL OF ECONOMIC PERSPECTIVES, 1992, 6 (04) :53-82

[6] A GUIDE TO COMPLETENESS AND COMPLEXITY FOR MODAL-LOGICS OF KNOWLEDGE AND BELIEF [J].

HALPERN, JY ;

MOSES, Y .

ARTIFICIAL INTELLIGENCE, 1992, 54 (03) :319-379

[7]

HALPERN JY, 1986, THEORETICAL ASPECTS, P1

[8]

Lewis D., 1969, A Philosophical Study

[9] COMMON KNOWLEDGE IN MODAL LOGIC [J].

LISMONT, L .

MATHEMATICAL LOGIC QUARTERLY, 1993, 39 (01) :115-130

[10] ON THE LOGIC OF COMMON BELIEF AND COMMON KNOWLEDGE [J].

LISMONT, L ;

MONGIN, P .

THEORY AND DECISION, 1994, 37 (01) :75-106