OUTLINE OF A SUB-STRUCTURAL MODEL OF BTA BELIEF

• Authors: Igor Sedlár
• Languages of publication: EN

Abstracts

EN

The paper outlines an epistemic logic based on the proof theory of sub-structural 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.

Keywords

EN

BELIEF; EPISTEMIC LOGIC; SUB-STRUCTURAL LOGICS

• Publisher: Institute of Philosophy of the Slovak Academy of Sciences and Institute of Philosophy of Academy of Sciences of Czech Republic
• Journal: Organon F. medzinárodný časopis pre analytickú filozofiu
• Year: 2013
• Volume: 20
• Issue: suppl. 2
• Pages: 160 - 170

Contributors

author

Igor Sedlár

• Katedra logiky a metodológie vied, Filozofická fakulta, Univerzita Komenského v Bratislave, Šafárikovo nám. 6, 814 99 Bratislava, Slovak Republic