TY - JOUR
T1 - Neomylnosť a logika
JF - Organon F
Y1 - 2012
A1 - Sedlár, Igor
KW - belief
KW - infallibility
KW - modal logic
KW - possibility
AB - The paper presents preliminary results related to the logical analysis of the concept of infallibility. The concept is explicated using the resources of modal logic, namely in terms of the operator of possibility M and the operator of belief B. Infallibility with respect to p is explicated as impossibility of being wrong with respect to *p*. The infallibility operator is introduced: Iϕ is defined to mean the same as ¬M(Bϕ ∧ ¬ϕ). We prove various theorems about validity or invalidity of certain formulas with I in special classes of models for the combined language.
IS - 1
VL - 19
SP - 239-254
UR - http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2012/1/239-254.pdf
U2 - Papers
U3 - 239254
U5 - 1
TI - Infallibility and Logic
ER -