Abstract
Predicate modal formulas are considered as schemata of arithmetical formulas, where □ is interpreted as the standard formula of provability in a fixed “sufficiently rich” theory T in the language of arithmetic. QL T(T) and QL T are the sets of schemata of T-provable and true formulas, correspondingly. Solovay's well-known result — construction an arithmetical counterinterpretation by Kripke countermodel — is generalized on the predicate modal language; axiomatizations of the restrictions of QL T(T) and QL T by formulas, which contain no variables different from x, are given by means of decidable prepositional bimodal systems; under the assumption that T is Π 1-complete, there is established the enumerability of the restrictions of QL T(T) and QL T by: 1) formulas in which the domains of different occurrences of □ don't intersect and 2) formulas of the form □ n ⊥ → A.
Similar content being viewed by others
References
С. Н. Артëмов, Неарифметичность истинностных предикатных логик доказуемости, ДАН СССР, vol. 284 (1985), 12, pp. 270–271.
С. H. Артëмов and Г. К. Джапаридзе, Об. эффективных предикатных логиках доказуемости, ДAH СССР, vol. 297 (1987), No. 3, pp. 521–523.
G. Boolos, The Unprovability of Consistency: An Essay in Modal Logic, Cambridge University Press, 1979.
G. Boolos and V. McGee, The degree of the set of sentences of predicate provability logic that are true under every interpretation, Journal of Symbolic Logic 52 (1987), N∘ 1, pp. 165–171.
Л. Л. Эсакиа, Логика доказуемости с кванторными модальностями, в сб.: Интенсиональные логики и логическая структура теорий, Тбилиси, Мецниереба, 1988, pp. 11–19.
J. Barwise (ed.), Handbook of Mathematical Logic, 1977, part IV.
Г. К. Джапаридзе, Арифметическая полнота логики доказуемости с кванторными модальностями, Сообщения АН ГССР, vol. 132 (1988), No 2, pp. 265–268.
R. Solovay, Provability interpretations of modal logic, Israel Journal of Mathematics, v. 25 (1976), pp. 287–304.
В. А. Варданян, Арифметическая сложность предикатных логик доказуемости, ДАН СССР, 288 (1986), No 1, с. 11–14.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dzhaparidze, G. Decidable and enumerable predicate logics of provability. Stud Logica 49, 7–21 (1990). https://doi.org/10.1007/BF00401550
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00401550