caa a22 4500 465779298 CHVBK 20180323111950.0 cr unu---uuuuu 170327e19900901xx s 000 0 eng 10.1007/BF00370367 doi (NATIONALLICENCE)springer-10.1007/BF00370367 Tokarz Marek Institute of Philosophy, Silesian University, Katowice, Poland aut On the logic of conscious belief [Elektronische Daten] [Marek Tokarz] 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. Polish Academy of Sciences, 1990 Studia Logica Kluwer Academic Publishers 49/3(1990-09-01), 321-332 0039-3215 49:3<321 1990 49 11225 https://doi.org/10.1007/BF00370367 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF00370367 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Tokarz Marek Institute of Philosophy, Silesian University, Katowice, Poland aut NATIONALLICENCE 773 0- Studia Logica Kluwer Academic Publishers 49/3(1990-09-01), 321-332 0039-3215 49:3<321 1990 49 11225 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer