Geodesic
Exact justification logics
Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 1 (2020), pp. 71-75 
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/
@article{VMUMM_2020_1_a11,
     author = {V. N. Krupski},
     title = {Exact justification logics},
     journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika},
     pages = {71--75},
     year = {2020},
     number = {1},
     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
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
%U http://geodesic.mathdoc.fr/item/VMUMM_2020_1_a11/
%G ru
%F VMUMM_2020_1_a11

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.

[1] Artemov S., “Justification awareness models”, Logical foundations of computer science, Int. Symp. LFCS 2018, Lect. Notes Comput. Sci., 10703, eds. S. Artemov, A. Nerode, Springer, Cham, 2018, 22–36 | DOI | MR | Zbl

[2] Krupski V. N., “On the sharpness and the single-conclusion property of basic justification models”, Logical foundations of computer science, Int. Symp. LFCS 2018, Lect. Notes Comput. Sci., 10703, eds. S. Artemov, A. Nerode, Springer, Cham, 2018, 211–220 | DOI | MR | Zbl

[3] Artemov S., “Explicit provability and constructive semantics”, Bull. Symbol. Log., 7:1 (2001), 1–36 | DOI | MR | Zbl

[4] Fitting M., “Modal logics, justification logics, and realization”, Ann. Pure and Appl. Log., 167 (2016), 615–648 | DOI | MR | Zbl

[5] Artemov S., “The logic of justification”, Rev. Symbol. Log., 1:4 (2008), 477–513 | DOI | MR | Zbl