References
S. I. Mardaev, “Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic,”Algebra Logika,32, No. 5, 519–537 (1993).
C. Smorynski,Self-Reference and Modal Logic, Springer-Verlag, Berlin (1985).
K. Segerberg,An Essay in Classical Modal Logic, Uppsala (1971).
Additional information
Translated fromAlgebra i Logika, Vol. 32, No. 6, pp. 683–689, November–December, 1993.
Translated by A. Morozov
Rights and permissions
About this article
Cite this article
Mardaev, S.I. Least fixed points in the Gödel-Löb logic. Algebr Logic 32, 372–375 (1993). https://doi.org/10.1007/BF02263055
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02263055