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
On the Logic of Common Belief
โ Scribed by Giacomo Bonanno
- Publisher
- John Wiley and Sons
- Year
- 1996
- Tongue
- English
- Weight
- 367 KB
- Volume
- 42
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
โฆ Synopsis
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.
๐ SIMILAR VOLUMES
The paper introduces a modal logic system of individual and common belief which is shown to be sound and complete with respect to a version of Neighbourhood semantics. This axiomatization of common belief is the weakest of all those currently available: it dispenses with even the Monotonicity rule o
**Mary McCarthy, one of our most brilliant and beloved authors, serves up wit, insight, and her unique worldview in this diverse collection of essays** In provocatively titled pieces such as "The Contagion of Ideas," "Tyranny of the Orgasm," and "No News, _or_ ,What Killed the Dog," Mary McCarth
In this article we address the issues brought up by Elkan in his article, "The paradoxical success of fuzzy logic," [IEEE Expert, 3-8 (1994)]. Elkan's work has caused concern since it purportedly reveals a Fuzzy Logic weakness regarding its theoretical foundations. A further investigation of Elkan's