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.
On the logic of belief claims in religion
โ Scribed by Charles Lewis
- Publisher
- Springer Netherlands
- Year
- 1973
- Tongue
- English
- Weight
- 789 KB
- Volume
- 5
- Category
- Article
- ISSN
- 0020-7047
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
In this paper we are discussing a version of propositional belief logic, denoted by LB, in which so-called axioms of introspection (Be =-BBc~ and ~ Be = B ~ Be) are added to the usual ones. LB is proved to be sound and complete with,respect to Boolean algebras equipped with proper filters (Theorem 5
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 t