{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:35Z","timestamp":1761611075950,"version":"3.43.0"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1999,11,1]],"date-time":"1999-11-01T00:00:00Z","timestamp":941414400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,11,1]],"date-time":"1999-11-01T00:00:00Z","timestamp":941414400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1999,11]]},"DOI":"10.1023\/a:1005262101188","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T16:13:47Z","timestamp":1040487227000},"page":"301-310","source":"Crossref","is-referenced-by-count":6,"title":["Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof"],"prefix":"10.1007","volume":"63","author":[{"given":"Paolo","family":"Gentilini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"245092_CR1","doi-asserted-by":"crossref","first-page":"221","DOI":"10.4064\/fm-124-3-221-233","volume":"124","author":"C. Bernardi","year":"1984","unstructured":"Bernardi, C., F. Montagna, \u2018Equivalence relations induced by extensional formulae: classification by means of a new fixed point property\u2019, Fundamenta Mathematicae 124 (1984), 221\u2013233.","journal-title":"Fundamenta Mathematicae"},{"key":"245092_CR2","volume-title":"The Unprovability of Consistency","author":"G. Boolos","year":"1979","unstructured":"Boolos, G., The Unprovability of Consistency, Cambridge University Press, Cambridge, 1979."},{"key":"245092_CR3","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/BF01371633","volume":"42","author":"M. Borga","year":"1983","unstructured":"Borga, M., \u2018On some proof theoretical properties of the modal logic GL\u2019, Studia Logica 42 (1983), 453\u2013459.","journal-title":"Studia Logica"},{"key":"245092_CR4","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/BF00370381","volume":"46","author":"D. H. J. De Jongh","year":"1987","unstructured":"De Jongh, D. H. J., F. Montagna, \u2018Generic Generalized Rosser Fixed Points\u2019, Studia Logica 46 (1987), 193\u2013203.","journal-title":"Studia Logica"},{"key":"245092_CR5","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1002\/malq.19920380150","volume":"38","author":"P. Gentilini","year":"1992","unstructured":"Gentilini, P., \u2018Provability Logic in the Gentzen formulation of arithmetic\u2019, Zeitsch. F. Math. Logik und Grundlagen der Math. 38 (1992), 535\u2013550.","journal-title":"Zeitsch. F. Math. Logik und Grundlagen der Math."},{"issue":"4","key":"245092_CR6","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/BF01053259","volume":"52","author":"P. Gentilini","year":"1993","unstructured":"Gentilini, P., \u2018Syntactical results on the arithmetical completeness of modal logic\u2019, Studia Logica 52,4 (1993), 549\u2013564.","journal-title":"Studia Logica"},{"key":"245092_CR7","unstructured":"Gentilini, P., PA-Completeness of Modal Logic: Constructive Reduction of PA-Proofs to GL-LIN-Proofs, pubblicazioni dell' Istituto per la Matematica Applicata del CNR, n. 2, January 1997."},{"key":"245092_CR8","unstructured":"Gentilini, P., Teoremi di completezza aritmetica della logica modale: una trattazione sintattica, Genova 1990: Doctoral Thesis for Doctorate in Mathematical Research, discussed and approved by the national board of italian Ministry of Research."},{"key":"245092_CR9","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1023\/A:1005203020301","volume":"63","author":"P. Gentilini","year":"1999","unstructured":"Gentilini, P., \u2018Proof-theoretic modal PA-completeness I: a system-sequent metric\u2019, Studia Logica 63 (1999), 27\u201348.","journal-title":"Studia Logica"},{"key":"245092_CR10","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1023\/A:1005266731458","volume":"63","author":"P. Gentilini","year":"1999","unstructured":"Gentilini, P.: \u2018Proof-theoretic modal PA-completeness II: the syntactic countermodel\u2019, Studia Logica 63 (1999), 245\u2013268.","journal-title":"Studia Logica"},{"key":"245092_CR11","unstructured":"Gentilini, P., \u2018Informational proof-theory\u2019, contribution to International Conference on Logic methodology and Philosophy of Science (LMPS 1995), Florence 1995."},{"key":"245092_CR12","unstructured":"Gentzen, G., Collected Papers, Szabo (ed.), North Holland, 1969."},{"key":"245092_CR13","volume-title":"Proof Theory and Logical Complexity","author":"J. Y. Girard","year":"1987","unstructured":"Girard, J. Y., Proof Theory and Logical Complexity, Bibliopolis, Napoli, 1987."},{"key":"245092_CR14","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF00370323","volume":"39","author":"G. Sambin","year":"1980","unstructured":"Sambin, G., S. Valentini, \u2018A modal sequent calculus for a fragment of arithmetic\u2019, Studia Logica 39 (1980), 245\u2013256.","journal-title":"Studia Logica"},{"key":"245092_CR15","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/BF00293433","volume":"11","author":"G. Sambin","year":"1982","unstructured":"Sambin, G., S. Valentini, \u2018The modal logic of the provability. The sequential approach\u2019, Journal of Philosophical Logic 11 (1982), 311\u2013342.","journal-title":"Journal of Philosophical Logic"},{"key":"245092_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8601-8","volume-title":"Selfreference and Modal Logic","author":"C. Smory\u0143ski","year":"1985","unstructured":"Smory\u0143ski, C., Selfreference and Modal Logic, Springer Verlag, New York, 1985."},{"key":"245092_CR17","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"R. Solovay","year":"1976","unstructured":"Solovay, R., \u2018Provability interpretations of modal logic\u2019, Israel Jour. of Math. 25 (1976), 287\u2013304.","journal-title":"Israel Jour. of Math."},{"key":"245092_CR18","unstructured":"Takeuti, G., Proof Theory, North-Holland, 1987 (second editio)."},{"key":"245092_CR19","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1002\/malq.19830290105","volume":"29","author":"S. Valentini","year":"1983","unstructured":"Valentini, S., U Solitro, \u2018The modal logic of consistency assertions of Peano Arithmetic\u2019. Zeitsch. F. Math. Logik und Grundlagen der Math. 29 (1983), 25\u201332.","journal-title":"Zeitsch. F. Math. Logik und Grundlagen der Math."},{"key":"245092_CR20","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1002\/malq.19860320707","volume":"32","author":"S. Valentini","year":"1986","unstructured":"Valentini, S., \u2018A syntactic proof of cut-elimination for GL-LIN\u2019, Zeitsch. F. Math. Logik und Grundlagen der Math. 32 (1986), 137\u2013144.","journal-title":"Zeitsch. F. Math. Logik und Grundlagen der Math."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005262101188.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005262101188\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005262101188.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:31:15Z","timestamp":1754631075000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005262101188"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,11]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,11]]}},"alternative-id":["245092"],"URL":"https:\/\/doi.org\/10.1023\/a:1005262101188","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1999,11]]}}}