Počet záznamů: 1
An Outline of a Substructural Model of BTA Belief
- 1.0478145 - ÚI 2018 SK eng J - Článek v odborném periodiku
Sedlár, Igor
An Outline of a Substructural Model of BTA Belief.
Organon F. Roč. 20, suppl. 2 (2013), s. 160-170. ISSN 1335-0668
Klíčová slova: logic * Belief * epistemic logic * logical omniscience * substructural logics
The paper outlines an epistemic logic based on the proof theory of substructural logics. The logic is a formal model of belief that i) is based on true assumptions (BTA belief) and ii) does not suffer from the usual omniscience properties.
Trvalý link: http://hdl.handle.net/11104/0274489
Počet záznamů: 1