Marek Tokarz

Sorry, we do not have enough data to show an influence graph for this author.
Learn More
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(More)
  • 1