Abstract
In this note, a fully modal proof is given of some conservation results proved in a previous paper by arithmetic means. The proof is based on the extendability of Kripke models.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
D. H. J. de Jongh, A simplification of a completeness proof of Guaspari and Solovay, Studia Logica 46 (1987), pp. 187–192.
D. H. J. de Jongh and F. Montagna, Provable Fixed Points, Report 86-24, Department of Mathematics, University of Amsterdam, 1986.
D. Guaspari and R. Solovay, Rosser sentences, Annals of Math. Logic 16 (1979), pp. 81–99.
F. Montagna and G. Sommaruga, Mostowski sentences, Archiv für mathematische Logik und Grundlagen der Mathematik (1988).
C. Smoryński, Self-Reference and Modal Logic, Springer, New York 1985.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Montagna, F., Sommaruga, G. A note on some extension results. Studia Logica 49, 591–600 (1990). https://doi.org/10.1007/BF00370168
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00370168