Premium
On the Logic of Common Belief
Author(s) -
Bonanno Giacomo
Publication year - 1996
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19960420126
Subject(s) - modus ponens , mathematics , property (philosophy) , axiom , rule of inference , inference , epistemology , subject (documents) , calculus (dental) , artificial intelligence , computer science , philosophy , medicine , geometry , dentistry , library science
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. Mathematics Subject Classification: 03B45, 68T25.