Abstract
It is shown that the propositional modal logic IRM (interpretability logic with Montagna's principle and with witness comparisons in the style of Guaspari's and Solovay's logicR) is sound and complete as the logic ofII 1-conservativity over each∑ 1-sound axiomatized theory containingI∑ 1. The exact statement of the result uses the notion of standard proof predicate. This paper is an immediate continuation of our paper [HM]. Knowledge of [HM] is presupposed. We define a modal logic, called IRM, which includes both ILM andR (the logic of [GS]) and prove an arithmetical completeness theorem in the style of [GS], thus showing that IRM is the logic ofII 1-conservativity with witness comparisons. The reader is recommended to have Smoryński's book [Sm] at his/her disposal.
Similar content being viewed by others
References
[deJ] de Jong, D.: A simplification of a completeness proof of Guaspari and Solovay. Stud. Logica46, D 7–192 (1987)
[deJ-P] de Jongh, D., Pianigiani, D.: Solution of a problem of David Guaspari. ITLI Prepublication series for Mathematical Logic. University Amsterdam 1990
[Gua] Guaspari, D.: Sentences implying their own provability. J. Symb. Log.48, 777–789 (1983)
[Gs] Guaspari, D., Solovay, R.: Rosser sentences Ann. Math. Logic16, 81–99 (1979)
[HM] Hájek, P., Montagna, F.: The logic ofII 1-conservativity. Arch. Math. Logic30, 113–123 (1990)
[Li] Linström, P.: Some results on interpretatibility. Proceeding 5th Scand. Logic Symposium Aalborg University Press 1979, pp. 329–359
[Sm] Smoryński, C.: Self-reference and modal logic. Berlin Heidelberg New York: Springer 1988
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hájek, P., Montagna, F. The logic ofII 1-conservativity continued. Arch Math Logic 32, 57–63 (1992). https://doi.org/10.1007/BF01270395
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01270395