Detail príspevku/publikácie

An Outline of a Substructural Model of BTA Belief

Sedlár, Igor
Organon F, 2013, vol. 20, Supplementary Issue 2, pp. 160-170.
Súbor na stiahnutie: PDF*
BibTex EndNote Tagged EndNote XML RIS

Štatistika dokumentu:

Počet prístupov: 3,013
Počet prístupov dnes: 0
Naposledy zobrazené: 21.11.2024 - 18:37
Počet stiahnutí PDF: 725

Abstrakt

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.

Kľúčové slová

belief, Epistemic logic, logical omniscience, substructural logics

*Príspevok je chránený zákonom o autorskom práve a právach súvisiacich s autorským právom (autorský zákon).