Abstract
The modal completeness proofs of Guaspari and Solovay (1979) for their systems R and R − are improved and the relationship between R and R − is clarified.
Similar content being viewed by others
References
D. H. J. de Jongh and F. Montagna, Generic generalized Rosser fixed points, this volume, pp. 193–203.
D. Guaspari and R. M. Solovay, Rosser Sentences, Annals of Mathematical Logic 16, pp. 81–99, 1979.
C. Smorynski, Self-Reference and Modal Logic Springer-Verlag, New York 1985.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
de Jongh, D.H.J. A simplification of a completeness proof of Guaspari and Solovay. Stud Logica 46, 187–192 (1987). https://doi.org/10.1007/BF00370380
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370380