Number of the records: 1
An Outline of a Substructural Model of BTA Belief
- 1.0478145 - ÚI 2018 SK eng J - Journal Article
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
Keywords : 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.
Permanent Link: http://hdl.handle.net/11104/0274489
Number of the records: 1