{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T15:43:18Z","timestamp":1774626198476,"version":"3.50.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1982,8,1]],"date-time":"1982-08-01T00:00:00Z","timestamp":397008000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1982,8]]},"DOI":"10.1007\/bf00293433","type":"journal-article","created":{"date-parts":[[2004,10,6]],"date-time":"2004-10-06T06:31:10Z","timestamp":1097044270000},"page":"311-342","source":"Crossref","is-referenced-by-count":63,"title":["The modal logic of provability. The sequential approach"],"prefix":"10.1007","volume":"11","author":[{"given":"Giovanni","family":"Sambin","sequence":"first","affiliation":[]},{"given":"Silvio","family":"Valentini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"CR1","first-page":"915","volume":"15","author":"F. Bellissima","year":"1978","unstructured":"BellissimaF., ?On the modal logic corresponding to diagonalizable algebra theory?, Boll. Un. Mat. Ital. (5), 15-B (1978), 915?930.","journal-title":"Boll. Un. Mat. Ital."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF02123401","volume":"35","author":"C. Bernardi","year":"1976","unstructured":"BernardiC., ?The uniqueness of the fixed point in every diagonalizable algebra? (The algebraization of the theories which express Theor, VIII), Studia Logica 35 (1976). 335?343.","journal-title":"Studia Logica"},{"key":"CR3","unstructured":"Boolos, G., The Unprovability of Consistency. An Essay in Modal Logic, Cambridge U.P., 1979."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"191","DOI":"10.2307\/2273393","volume":"47","author":"G. Boolos","year":"1982","unstructured":"BoolosG., ?Extremely undecidable sentences?, J. Symbolic Logic, 47 (1982) 191?196.","journal-title":"J. Symbolic Logic"},{"key":"CR5","unstructured":"Gentzen G., Collected Papers, North Holland, 1969."},{"key":"CR6","first-page":"39","volume":"4","author":"K. G\u00f6del","year":"1933","unstructured":"G\u00f6delK., ?Eine Interpretation des intuitionistischen Aussagenkalk\u00fcls?, Ergebnisse eines Mathematischen Kolloquiums 4 (1933), 39?40.","journal-title":"Ergebnisse eines Mathematischen Kolloquiums"},{"key":"CR7","unstructured":"Kleene, S. C., Mathematical Logic. Wiley, 1967."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"531","DOI":"10.2307\/2273755","volume":"46","author":"D. Leivant","year":"1981","unstructured":"LeivantD., ?On the proof theory of the modal logic for arithmetic provability?, J. Symbolic Logic 46 (1981), 531?538.","journal-title":"J. Symbolic Logic"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"115","DOI":"10.2307\/2266895","volume":"20","author":"M. H. L\u00f6b","year":"1955","unstructured":"L\u00f6bM. H., ?Solution of a problem of Leon Henkin?, J. Symbolic 20 (1955), 115?118.","journal-title":"J. Symbolic"},{"issue":"5","key":"CR10","first-page":"1075","volume":"17","author":"M. Mirolli","year":"1980","unstructured":"MirolliM., ?On the axiomatization of finite frames of the modal system GL?, Boll. Un. Mat. Ital. (5) 17-B (1980), 1075?1085.","journal-title":"Boll. Un. Mat. Ital."},{"issue":"5","key":"CR11","first-page":"795","volume":"16","author":"F. Montagna","year":"1979","unstructured":"MontagnaF., ?On the diagonalizable algebra of Peano arithmetic?, Boll. Un. Mat. Ital. (5) 16-B (1979), 795?812.","journal-title":"Boll. Un. Mat. Ital."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/BF02123402","volume":"35","author":"G. Sambin","year":"1976","unstructured":"SambinG., ?An effective fixed point theorem in intuitionistic diagonalizable algebras? (The algebraization of the theories which express Theor, IX), Studia Logica 35 (1976), 345?361.","journal-title":"Studia Logica"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF00370323","volume":"39","author":"G. Sambin","year":"1980","unstructured":"SambinG. and ValentiniS., ?A modal sequent calculus for a fragment of arithmetic?, Studia Logica 39, (1980), 245?256.","journal-title":"Studia Logica"},{"key":"CR14","unstructured":"Sambin, G. and Valentini, S., ?Is there a syntactic proof of cut elimination for GL??, submitted to J. Symbolic Logic."},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Smorynski, C., ?Beth's theorem and self-referential sentences, Logic Colloquium '77, A. Macintyre, L. Pacholski, J. Paris (eds), North Holland, 1978.","DOI":"10.1016\/S0049-237X(08)72008-1"},{"key":"CR16","unstructured":"Smorynski, C., ?Fixed point algebra?, to appear."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"871","DOI":"10.2307\/2273239","volume":"46","author":"C. Smorynski","year":"1981","unstructured":"SmorynskiC., ?Review to [3]?, J. Symbolic Logic 46 (1981), 871?873.","journal-title":"J. Symbolic Logic"},{"key":"CR18","unstructured":"Solitro, U. and Valentini, S., ?The modal logic of consistency assertion of Peano Arithmetic?, Z. Math. Logik Grundlag. Math., to appear."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"R. M. Solovay","year":"1976","unstructured":"SolovayR. M., ?Provability interpretations of modal logic?, Israel J. Math. 25 (1976), 287?304.","journal-title":"Israel J. Math."},{"key":"CR20","unstructured":"Takeuti, G., Proof Theory, North Holland, 1975."},{"key":"CR21","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/BF02488034","volume":"9","author":"A. Ursini","year":"1979","unstructured":"UrsiniA., ?Intuitionistic diagonalizable algebras?, Alg. Universalis 9 (1979), 229?237.","journal-title":"Alg. Universalis"},{"issue":"6","key":"CR22","first-page":"119","volume":"1","author":"S. Valentini","year":"1982","unstructured":"ValentiniS., ?Cut elimination in a modal sequent calculus for K?, Boll. Un. Mat. Ital. (6) 1-B (1982), 119?130","journal-title":"Boll. Un. Mat. Ital."},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"Valentini, S., ?The modal logic of provability: cut elimination?, submitted to J. Philosophical Logic.","DOI":"10.1007\/BF00249262"},{"key":"CR24","unstructured":"Visser, A., ?Aspect of diagonalization and provability?, dissertation, University of Utrecht, 1981."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00293433.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00293433\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00293433","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T08:34:49Z","timestamp":1585902889000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00293433"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,8]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1982,8]]}},"alternative-id":["BF00293433"],"URL":"https:\/\/doi.org\/10.1007\/bf00293433","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982,8]]}}}