This is a preview of subscription content, log in via an institution to check access.
References
[Bernardi 1975]C. Bernardi, The fixed-point theorem for diagonalizable algebras, Studia Logica 34 (1975), pp. 239–251.
[Bernardi 1975b]C. Bernardi, On the equational class of diagonalizable algebras, Studia Logica 34 (1975), pp. 321–331.
[Bernardi 1976]C. Bernardi, The uniqueness of the fixed-point in every diagonalizable algebra, Studia Logica 35 (1976), pp. 335–343.
[Boolos 1976]G. Boolos, On deciding the truth of certain statements involving the notion of consistency, Journal of Symbolic Logic 41 (1976), pp. 779–781.
[Boolos 1979]G. Boolos, The Unprovability of Consistency: An Essay in Modal Logic, Cambridge University Press, 1979.
[Boolos 1980]G. Boolos, Provability in arithmetic and a schema of Grzegorczyk, Fundamenta Mathematicae 96 (1980), pp. 41–45.
[Boolos 1980b]G. Boolos, Provability, truth and modal logic, Journal of Philosophical Logic 9 (1980), pp. 1–7.
[Boolos-Jeffrey 1974]G. Boolos and R. Jeffrey, Computability and Logic, first edition, Cambridge University Press, 1974.
[de Jongh-Jumelet-Montagna 1989]D. de Jongh, M. Jumelet and F. Montagna, On the proof of Solovay's theorem, preprint of the Institute for Language, Logic and Information, The University of Amsterdam (1989).
[Gleit-Goldfarb 1990]Z. Gleit and W. Goldfarb, Characters and fixed points in provability logic, Notre Dame Journal of Formal Logic 31 (1990), pp. 26–36.
[Gödel 1931]K. Gödel, Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I, Monatshefte für Mathematik und Physik 37 (1931), pp. 173–198; in Collected Works, Volume I, Oxford University Press, 1986, pp. 144–195.
[Gödel 1933]K. Gödel, Eine Interpretation des intuitionistischen Aussagenkalküls, Ergebnisse eines mathematischen Kolloquiums 4 (1933), pp. 39–40; in Collected Works, Volume I, Oxford University Press, 1986, pp. 300–303.
[Goldblatt 1978]R. Goldblatt, Arithmetical necessity, provability and intuitionistic logic, Theoria 44 (1978), pp. 38–46.
[Hughes-Cresswell 1968]G. E. Hughes and M. Cresswell, An Introduction to Modal Logic, Methuen, 1968.
[Kreisel-Levy 1968]G. Kreisel and A. Levy, Reflection principles and their use for establishing the complexity of axiomatic systems, Zeitschrift für mathematische Logic und Grundlagen der Mathematik 14 (1968), pp. 97–142.
[Kripke 1963]S. A. Kripke, Semantical considerations on modal logic, Acta Philosophica Fennica 16 (1963), pp. 83–94.
[Kuznetsov-Muravitsky 1976]A. V. Kuznetsov and A. Yu. Muravitsky, The logic of provability (in Russian), Abstracts of the 4th All-Union Conference on Mathematical Logic in Russian (1976), p. 73.
[Löb 1955]M. H. Löb, Solution of a problem of Leon Henkin, Journal of Symbolic Logic 20 (1955), pp. 115–118.
[Macintyre-Simmons 1973]A. Macintyre and H. Simmons, Gödel's diagonalization technique and related properties of theories, Colloquium Mathematicum 28 (1973), pp. 165–180.
[Magari 1974]R. Magari, Su certe teorie non enumerabili, Annali di Matematica Pura ed Applicata 98 (1974), pp. 119–152.
[Magari 1975a]R. Magari, Significato e verità nell'aritmetica peaniana, Annali di Matematica Pura ed Applicata 103 (1975), pp. 343–368.
[Magari 1975b]R. Magari, Problemi aperti sulle algebre diagonali, Rendiconti del Seminario Matematico e Fisico di Milano 44 (1974), pp. 75–90.
[Magari 1975c]R. Magari, The diagonalizable algebras, Bollettino della Unione Matematica Italiana 12 (1975), pp. 117–125.
[Magari 1975d]R. Magari, Representation and duality theory for diagonalizable algebras, Studia Logica 34 (1975), pp. 305–313.
[Montagna 1975]F. Montagna, For every n, the n-freely generated algebra is not functionally free in the equational class of diagonalizable algebras, Studia Logica 34 (1975), pp. 315–319.
[Montagna 1979]F. Montagna, On the diagonalizable algebra of Peano arithmetic, Bollettino della Unione Matematica Italiana 5, 1-B (1979), pp. 795–812.
[Montagna 1974]R. Montague, Formal Philosophy: Selected Papers of Richard Montague, edited and with an introduction by Richmond H. Thomason, Yale University Press, 1974.
[Sambin 1975]G. Sambin, Un'estensione del teorema di Löb, Rendiconti del Seminario Matematico dell'Università di Padova 52 (1975), pp. 193–199.
[Sambin 1976]G. Sambin, An effective fixed-point theorem in intuitionistic diagonalizable algebras, Studia Logica 35 (1976), pp. 345–361.
[Sambin-Valentini 1982]G. Sambin and S. Valentini, The modal logic of provability: the sequential approach, Journal of Philosophical Logic 11 (1982), pp. 311–342.
[Segerberg 1971]K. Segerberg, An Essay in Classical Modal Logic, Filosofiska Studier 13, Uppsala Universiteit, 1971.
[Smiley 1963]T. J. Smiley, The logical basis of ethics, Acta Philosophica Fennica 16 (1963), pp. 237–246.
[Smoryński 1975]C. Smoryński, Consistency and related metamathematical properties, University of Amsterdam, Department of Mathematics (Report 75-02).
[Smoryński 1976]C. Smoryński, The derivability conditions and Löb's theorem; a short course in modal logic, handwritten notes, Heidelberg, Autumn 1976.
[Smoryński 1978]C. Smoryński, Beth's theorem and self-referential sentences, in Logic Colloquium'77, A. Macintyre, L. Pacholski and J. Paris eds., North-Holland, 1978, pp. 253–261.
[Smoryński 1979]C. Smoryński, Calculating self-referential statements. I: explicit calculations, Studia Logica 38 (1979), pp. 17–36.
[Smoryński 1982]C. Smoryński, Fixed point algebras, Bulletin of the American Mathematical Society 6 (1982), pp. 317–356.
[Solovay 1976]R. Solovay, Provability interpretations of modal logic, Israel Journal of Mathematics 25 (1976), pp. 287–304.
[van Benthem 1974]J. F. A. K. van Benthem, Doctoral Thesis, first draft, manuscript, University of Amsterdam, Fall 1974.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Boolos, G., Sambin, G. Provability: the emergence of a mathematical modality. Stud Logica 50, 1–23 (1991). https://doi.org/10.1007/BF00370383
Issue Date:
DOI: https://doi.org/10.1007/BF00370383