Literature cited
A. V. Chagrov, "Undecidable properties of extensions of a provability logic. I," Algebra Logika,29, No. 3, 350–367 (1990).
V. B. Shekhtman, "Incomplete propositional logics," Dokl. Akad. Nauk SSSR,235, No. 3, 542–545 (1977).
A. Yu. Muravitskii, "Finite approximability of the calculus IΔ and nonmodelability of one of its extensions," Mat. Zametki,29, No. 6, 907–916 (1981).
A. V. Chagrov, "Varieties of logical matrices," Algebra Logika,24, No. 4, 426–489 (1985).
G. Sambin and S. Valentini, "Post completeness and free algebras," Z. Math. Logik Grundl. Math.,26, 343–347 (1980).
G. Boolos, "On systems of modal logic with provability interpretations," Theoria,46, No. 1, 7–18 (1989).
L. L. Maksimova, "Interpolation in normal modal logics," in: Nonclassical Logics (Mathematical Investigations, Vol 98) [in Russian], Kishinev (1987), pp. 40–56.
Additional information
Translated from Algebra i Logika, Vol. 29, No. 5, pp. 613–623, September–October, 1990.
Rights and permissions
About this article
Cite this article
Chagrov, A.V. Undecidable properties of extensions of a provability logic. II. Algebr Logic 29, 406–413 (1990). https://doi.org/10.1007/BF02215288
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02215288