%0 Journal Article %J Organon F %D 2013 %T An Outline of a Substructural Model of BTA Belief %A Sedlár, Igor %K belief %K Epistemic logic %K logical omniscience %K substructural logics %X 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. %B Organon F %V 20 %P 160-170 %G English %U http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2013/2/160-170.pdf %3 160170 %# 1