On the logic of conscious belief


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). Interpretations in classical theories (Theorem 4) are also considered. A few modifications of LB are ,further dealt with, one of which turns out to be $5.

DOI: 10.1007/BF00370367

Cite this paper

@article{Tokarz1990OnTL, title={On the logic of conscious belief}, author={Marek Tokarz}, journal={Studia Logica}, year={1990}, volume={49}, pages={321-332} }