%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