|
This article is cited in 4 scientific papers (total in 4 papers)
A realization theorem for the Gödel-Löb provability logic
D. S. Shamkanov Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Abstract:
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:
justification logic, provability logic, realization theorem, cyclic proofs.
Received: 04.02.2016
Citation:
D. S. Shamkanov, “A realization theorem for the Gödel-Löb provability logic”, Sb. Math., 207:9 (2016), 1344–1360
Linking options:
https://www.mathnet.ru/eng/sm8667https://doi.org/10.1070/SM8667 https://www.mathnet.ru/eng/sm/v207/i9/p171
|
Statistics & downloads: |
Abstract page: | 519 | Russian version PDF: | 115 | English version PDF: | 24 | References: | 73 | First page: | 28 |
|