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 -