๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The Dynamics of Belief: A Normative Logic

Book ID
111050520
Publisher
John Wiley and Sons
Year
1988
Weight
201 KB
Volume
29
Category
Article
ISSN
0031-8051

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Common Belief with the Logic of Individu
Common Belief with the Logic of Individual Belief
โœ Giacomo Bonanno; Klaus Nehring ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 177 KB ๐Ÿ‘ 1 views

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

THE TRUTH NORM OF BELIEF
THE TRUTH NORM OF BELIEF
โœ CONOR MCHUGH ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 109 KB
On the Logic of Common Belief
On the Logic of Common Belief
โœ Giacomo Bonanno ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 367 KB

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 conscious belief
On the logic of conscious belief
โœ Marek Tokarz ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 581 KB

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