TY - JOUR T1 - An Outline of a Substructural Model of BTA Belief JF - Organon F Y1 - 2013 A1 - Sedlár, Igor KW - belief KW - Epistemic logic KW - logical omniscience KW - substructural logics AB - 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. IS - 2 VL - 20 SP - 160-170 UR - http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2013/2/160-170.pdf U3 - 160170 U5 - 1 TI - An Outline of a Substructural Model of BTA Belief ER -