Geodesic
A~realization theorem for the G\"{o}del-L\"{o}b provability logic
Sbornik. Mathematics, Tome 207 (2016) no. 9, pp. 1344-1360

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

We present a new justification logic corresponding to the Gödel-Löb provability logic $\mathsf{GL}$ and prove the realization theorem connecting these two systems in such a way that all the realizations provided in the theorem are normal. Bibliography: 9 titles.
Keywords: provability logic, realization theorem, cyclic proofs.
Mots-clés : justification logic 
@article{SM_2016_207_9_a7,
     author = {D. S. Shamkanov},
     title = {A~realization theorem for the {G\"{o}del-L\"{o}b} provability logic},
     journal = {Sbornik. Mathematics},
     pages = {1344--1360},
     publisher = {mathdoc},
     volume = {207},
     number = {9},
     year = {2016},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SM_2016_207_9_a7/}
}
TY  - JOUR
AU  - D. S. Shamkanov
TI  - A~realization theorem for the G\"{o}del-L\"{o}b provability logic
JO  - Sbornik. Mathematics
PY  - 2016
SP  - 1344
EP  - 1360
VL  - 207
IS  - 9
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SM_2016_207_9_a7/
LA  - en
ID  - SM_2016_207_9_a7
ER  - 
%0 Journal Article
%A D. S. Shamkanov
%T A~realization theorem for the G\"{o}del-L\"{o}b provability logic
%J Sbornik. Mathematics
%D 2016
%P 1344-1360
%V 207
%N 9
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SM_2016_207_9_a7/
%G en
%F SM_2016_207_9_a7
D. S. Shamkanov. A~realization theorem for the G\"{o}del-L\"{o}b provability logic. Sbornik. Mathematics, Tome 207 (2016) no. 9, pp. 1344-1360. http://geodesic.mathdoc.fr/item/SM_2016_207_9_a7/