Detail príspevku/publikácie

An Outline of a Substructural Model of BTA Belief

Organon F, 2013, vol. 20, Supplementary Issue 2, pp. 160-170.
Súbor na stiahnutie: PDF*

Štatistika dokumentu:

Počet prístupov: 931
Počet prístupov dnes: 0
Naposledy zobrazené: 21.05.2018 - 18:11
Počet stiahnutí PDF: 334

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).