• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Article

A realization theorem for the Gödel-Löb provability logic

Sbornik Mathematics. 2016. Vol. 207. No. 9. P. 1344-1360.
Translator: D. S. Shamkanov.

We present a new justification logic corresponding to the Gödel-Löb provability logic GL and prove the realization theorem connecting these two systems in such a way that all the realizations provided in the theorem are normal.