Studia Logica 49 (3):321 - 332 (1990)

In this paper we are discussing a version of propositional belief logic, denoted by LB, in which so-called axioms of introspection (B BB and B B B) 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 S5.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00370367
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 56,081
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Non-Axiomatizability of Grice's Implicature.Marek Tokarz - 1994 - Studia Logica 53 (2):343 - 349.

Add more citations

Similar books and articles

Algebras of Intervals and a Logic of Conditional Assertions.Peter Milne - 2004 - Journal of Philosophical Logic 33 (5):497-548.
Conscious Belief.D. H. Mellor - 1978 - Proceedings of the Aristotelian Society 78:87-101.
B-Varieties with Normal Free Algebras.Bronis?aw Tembrowski - 1989 - Studia Logica 48 (4):555 - 564.
Dynamic Logic for Belief Revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.


Added to PP index

Total views
17 ( #585,603 of 2,403,827 )

Recent downloads (6 months)
1 ( #550,507 of 2,403,827 )

How can I increase my downloads?


My notes