Geodesic
Exact justification logics
Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 1 (2020), pp. 71-75

Voir la notice de l'article provenant de la source Math-Net.Ru

The sharpness property of justification models is essential for formal analysis of epistemic scenarios like Russell's Prime Minister Example. The problem to axiomatize this property in the the propositional justification language was left opened. We propose the solution and provide complete axiomatizations for classes of all sharp basic justification models and of all justification models that are sharp with respect to two operations: application and plus. 
@article{VMUMM_2020_1_a11,
     author = {V. N. Krupski},
     title = {Exact justification logics},
     journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika},
     pages = {71--75},
     publisher = {mathdoc},
     number = {1},
     year = {2020},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMUMM_2020_1_a11/}
}
TY  - JOUR
AU  - V. N. Krupski
TI  - Exact justification logics
JO  - Vestnik Moskovskogo universiteta. Matematika, mehanika
PY  - 2020
SP  - 71
EP  - 75
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMUMM_2020_1_a11/
LA  - ru
ID  - VMUMM_2020_1_a11
ER  - 
%0 Journal Article
%A V. N. Krupski
%T Exact justification logics
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 2020
%P 71-75
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMUMM_2020_1_a11/
%G ru
%F VMUMM_2020_1_a11
V. N. Krupski. Exact justification logics. Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 1 (2020), pp. 71-75. http://geodesic.mathdoc.fr/item/VMUMM_2020_1_a11/