References
Boolos. G., ‘Extremely undecidable sentences’, forthcoming.
Boolos, G., ‘Provability in arithmetic and a schema of Grzegorczyk’, to appear in Fundamenta Mathematicae.
Boolos, G., The Unprovability of Consistency, Cambridge, 1979.
Goldblatt, R., ‘Arithmetical necessity, provability, and intuitionistic logic’, to appear in Theoria.
Segerberg, K., An Essay in Classical Modal Logic, Uppsala, 1971.
Solovay R., ‘Provability interpretations of modal logic’, Israel Journal of Mathematics 25 (1976), 287–304.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Boolos, G. Provability, truth, and modal logic. J Philos Logic 9, 1–7 (1980). https://doi.org/10.1007/BF00258073
Issue Date:
DOI: https://doi.org/10.1007/BF00258073