{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T19:12:45Z","timestamp":1781896365194,"version":"3.54.5"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1991,3,1]],"date-time":"1991-03-01T00:00:00Z","timestamp":667785600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1991,3]]},"DOI":"10.1007\/bf00370383","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T23:49:35Z","timestamp":1099439375000},"page":"1-23","source":"Crossref","is-referenced-by-count":34,"title":["Provability: the emergence of a mathematical modality"],"prefix":"10.1007","volume":"50","author":[{"given":"George","family":"Boolos","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giovanni","family":"Sambin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF02125226","volume":"34","author":"C. Bernardi","year":"1975","unstructured":"[Bernardi 1975]C. Bernardi, The fixed-point theorem for diagonalizable algebras, Studia Logica 34 (1975), pp. 239?251.","journal-title":"Studia Logica"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/BF02121663","volume":"34","author":"C. Bernardi","year":"1975","unstructured":"[Bernardi 1975b]C. Bernardi, On the equational class of diagonalizable algebras, Studia Logica 34 (1975), pp. 321?331.","journal-title":"Studia Logica"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF02123401","volume":"35","author":"C. Bernardi","year":"1976","unstructured":"[Bernardi 1976]C. Bernardi, The uniqueness of the fixed-point in every diagonalizable algebra, Studia Logica 35 (1976), pp. 335?343.","journal-title":"Studia Logica"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"779","DOI":"10.2307\/2272395","volume":"41","author":"G. Boolos","year":"1976","unstructured":"[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.","journal-title":"Journal of Symbolic Logic"},{"key":"CR5","unstructured":"[Boolos 1979]G. Boolos, The Unprovability of Consistency: An Essay in Modal Logic, Cambridge University Press, 1979."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"41","DOI":"10.4064\/fm-106-1-41-45","volume":"96","author":"G. Boolos","year":"1980","unstructured":"[Boolos 1980]G. Boolos, Provability in arithmetic and a schema of Grzegorczyk, Fundamenta Mathematicae 96 (1980), pp. 41?45.","journal-title":"Fundamenta Mathematicae"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00258073","volume":"9","author":"G. Boolos","year":"1980","unstructured":"[Boolos 1980b]G. Boolos, Provability, truth and modal logic, Journal of Philosophical Logic 9 (1980), pp. 1?7.","journal-title":"Journal of Philosophical Logic"},{"key":"CR8","unstructured":"[Boolos-Jeffrey 1974]G. Boolos and R. Jeffrey, Computability and Logic, first edition, Cambridge University Press, 1974."},{"key":"CR9","unstructured":"[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)."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1305\/ndjfl\/1093635330","volume":"31","author":"Z. Gleit","year":"1990","unstructured":"[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.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01700692","volume":"37","author":"K. G\ufffddel","year":"1931","unstructured":"[G\ufffddel 1931]K. G\ufffddel, \ufffdber formal unentscheidbare S\ufffdtze der Principia mathematica und verwandter Systeme I, Monatshefte f\ufffdr Mathematik und Physik 37 (1931), pp. 173?198; in Collected Works, Volume I, Oxford University Press, 1986, pp. 144?195.","journal-title":"Monatshefte f\ufffdr Mathematik und Physik"},{"key":"CR12","first-page":"39","volume":"4","author":"K. G\ufffddel","year":"1933","unstructured":"[G\ufffddel 1933]K. G\ufffddel, Eine Interpretation des intuitionistischen Aussagenkalk\ufffdls, Ergebnisse eines mathematischen Kolloquiums 4 (1933), pp. 39?40; in Collected Works, Volume I, Oxford University Press, 1986, pp. 300?303.","journal-title":"Ergebnisse eines mathematischen Kolloquiums"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1111\/j.1755-2567.1978.tb00831.x","volume":"44","author":"R. Goldblatt","year":"1978","unstructured":"[Goldblatt 1978]R. Goldblatt, Arithmetical necessity, provability and intuitionistic logic, Theoria 44 (1978), pp. 38?46.","journal-title":"Theoria"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"[Hughes-Cresswell 1968]G. E. Hughes and M. Cresswell, An Introduction to Modal Logic, Methuen, 1968.","DOI":"10.1016\/B978-1-4832-3133-4.50005-2"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/malq.19680140702","volume":"14","author":"G. Kreisel","year":"1968","unstructured":"[Kreisel-Levy 1968]G. Kreisel and A. Levy, Reflection principles and their use for establishing the complexity of axiomatic systems, Zeitschrift f\ufffdr mathematische Logic und Grundlagen der Mathematik 14 (1968), pp. 97?142.","journal-title":"Zeitschrift f\ufffdr mathematische Logic und Grundlagen der Mathematik"},{"key":"CR16","first-page":"83","volume":"16","author":"S. A. Kripke","year":"1963","unstructured":"[Kripke 1963]S. A. Kripke, Semantical considerations on modal logic, Acta Philosophica Fennica 16 (1963), pp. 83?94.","journal-title":"Acta Philosophica Fennica"},{"key":"CR17","unstructured":"[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."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"115","DOI":"10.2307\/2266895","volume":"20","author":"M. H. L\ufffdb","year":"1955","unstructured":"[L\ufffdb 1955]M. H. L\ufffdb, Solution of a problem of Leon Henkin, Journal of Symbolic Logic 20 (1955), pp. 115?118.","journal-title":"Journal of Symbolic Logic"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"165","DOI":"10.4064\/cm-28-2-165-180","volume":"28","author":"A. Macintyre","year":"1973","unstructured":"[Macintyre-Simmons 1973]A. Macintyre and H. Simmons, G\ufffddel's diagonalization technique and related properties of theories, Colloquium Mathematicum 28 (1973), pp. 165?180.","journal-title":"Colloquium Mathematicum"},{"key":"CR20","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF02414017","volume":"98","author":"R. Magari","year":"1974","unstructured":"[Magari 1974]R. Magari, Su certe teorie non enumerabili, Annali di Matematica Pura ed Applicata 98 (1974), pp. 119?152.","journal-title":"Annali di Matematica Pura ed Applicata"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/BF02414160","volume":"103","author":"R. Magari","year":"1975","unstructured":"[Magari 1975a]R. Magari, Significato e verit\ufffd nell'aritmetica peaniana, Annali di Matematica Pura ed Applicata 103 (1975), pp. 343?368.","journal-title":"Annali di Matematica Pura ed Applicata"},{"key":"CR22","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BF02925653","volume":"44","author":"R. Magari","year":"1975","unstructured":"[Magari 1975b]R. Magari, Problemi aperti sulle algebre diagonali, Rendiconti del Seminario Matematico e Fisico di Milano 44 (1974), pp. 75?90.","journal-title":"Rendiconti del Seminario Matematico e Fisico di Milano"},{"key":"CR23","first-page":"117","volume":"12","author":"R. Magari","year":"1975","unstructured":"[Magari 1975c]R. Magari, The diagonalizable algebras, Bollettino della Unione Matematica Italiana 12 (1975), pp. 117?125.","journal-title":"Bollettino della Unione Matematica Italiana"},{"key":"CR24","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF02121661","volume":"34","author":"R. Magari","year":"1975","unstructured":"[Magari 1975d]R. Magari, Representation and duality theory for diagonalizable algebras, Studia Logica 34 (1975), pp. 305?313.","journal-title":"Studia Logica"},{"key":"CR25","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF02121662","volume":"34","author":"F. Montagna","year":"1975","unstructured":"[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.","journal-title":"Studia Logica"},{"issue":"1-B","key":"CR26","first-page":"795","volume":"5","author":"F. Montagna","year":"1979","unstructured":"[Montagna 1979]F. Montagna, On the diagonalizable algebra of Peano arithmetic, Bollettino della Unione Matematica Italiana 5, 1-B (1979), pp. 795?812.","journal-title":"Bollettino della Unione Matematica Italiana"},{"key":"CR27","unstructured":"[Montagna 1974]R. Montague, Formal Philosophy: Selected Papers of Richard Montague, edited and with an introduction by Richmond H. Thomason, Yale University Press, 1974."},{"key":"CR28","first-page":"193","volume":"52","author":"G. Sambin","year":"1975","unstructured":"[Sambin 1975]G. Sambin, Un'estensione del teorema di L\ufffdb, Rendiconti del Seminario Matematico dell'Universit\ufffd di Padova 52 (1975), pp. 193?199.","journal-title":"Rendiconti del Seminario Matematico dell'Universit\ufffd di Padova"},{"key":"CR29","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/BF02123402","volume":"35","author":"G. Sambin","year":"1976","unstructured":"[Sambin 1976]G. Sambin, An effective fixed-point theorem in intuitionistic diagonalizable algebras, Studia Logica 35 (1976), pp. 345?361.","journal-title":"Studia Logica"},{"key":"CR30","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/BF00293433","volume":"11","author":"G. Sambin","year":"1982","unstructured":"[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.","journal-title":"Journal of Philosophical Logic"},{"key":"CR31","unstructured":"[Segerberg 1971]K. Segerberg, An Essay in Classical Modal Logic, Filosofiska Studier 13, Uppsala Universiteit, 1971."},{"key":"CR32","first-page":"237","volume":"16","author":"T. J. Smiley","year":"1963","unstructured":"[Smiley 1963]T. J. Smiley, The logical basis of ethics, Acta Philosophica Fennica 16 (1963), pp. 237?246.","journal-title":"Acta Philosophica Fennica"},{"key":"CR33","unstructured":"[Smory?ski 1975]C. Smory?ski, Consistency and related metamathematical properties, University of Amsterdam, Department of Mathematics (Report 75-02)."},{"key":"CR34","volume-title":"The derivability conditions and L\ufffdb's theorem; a short course in modal logic","author":"C. Smory?ski","year":"1976","unstructured":"[Smory?ski 1976]C. Smory?ski, The derivability conditions and L\ufffdb's theorem; a short course in modal logic, handwritten notes, Heidelberg, Autumn 1976."},{"key":"CR35","doi-asserted-by":"crossref","unstructured":"[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.","DOI":"10.1016\/S0049-237X(08)72008-1"},{"key":"CR36","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/BF00493670","volume":"38","author":"C. Smory?ski","year":"1979","unstructured":"[Smory?ski 1979]C. Smory?ski, Calculating self-referential statements. I: explicit calculations, Studia Logica 38 (1979), pp. 17?36.","journal-title":"Studia Logica"},{"key":"CR37","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1090\/S0273-0979-1982-15002-9","volume":"6","author":"C. Smory?ski","year":"1982","unstructured":"[Smory?ski 1982]C. Smory?ski, Fixed point algebras, Bulletin of the American Mathematical Society 6 (1982), pp. 317?356.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"CR38","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"R. Solovay","year":"1976","unstructured":"[Solovay 1976]R. Solovay, Provability interpretations of modal logic, Israel Journal of Mathematics 25 (1976), pp. 287?304.","journal-title":"Israel Journal of Mathematics"},{"key":"CR39","unstructured":"[van Benthem 1974]J. F. A. K. van Benthem, Doctoral Thesis, first draft, manuscript, University of Amsterdam, Fall 1974."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370383.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370383\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370383","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T18:23:25Z","timestamp":1585938205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370383"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,3]]},"references-count":39,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,3]]}},"alternative-id":["BF00370383"],"URL":"https:\/\/doi.org\/10.1007\/bf00370383","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,3]]}}}