A realization theorem for the Gödel-Löb provability logic
Daniyar Salkarbekovich Shamkanov · Sbornik Mathematics · 2016
We present a new justification logic corresponding to the Godel-Lob provability logic 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.