{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:48Z","timestamp":1755220968271,"version":"3.43.0"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1999,7,1]],"date-time":"1999-07-01T00:00:00Z","timestamp":930787200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,7,1]],"date-time":"1999-07-01T00:00:00Z","timestamp":930787200000},"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,7]]},"DOI":"10.1023\/a:1005298816666","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T16:13:47Z","timestamp":1040487227000},"page":"7-25","source":"Crossref","is-referenced-by-count":4,"title":["An Operational Logic of Proofs with Positive and Negative Information"],"prefix":"10.1007","volume":"63","author":[{"given":"Duccio","family":"Luchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Montagna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"236038_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1007\/3-540-56992-8_3","volume-title":"Computer Science and Logic","author":"S. Artemov","year":"1993","unstructured":"S. Artemov, T. Styrassen, \u2018The basic Logic of Proofs\u2019, Computer Science and Logic, 6th Workshop CSL 92, San Miniato, Italy, Lecture Notes in Computer Science 702, Springer Verlag Berlin, Heidelberg, New York 1993, pp. 14\u201328."},{"key":"236038_CR2","first-page":"25","volume":"67","author":"S. Artemov","year":"1992","unstructured":"S. Artemov, \u2018Logics of Proofs\u2019, Annals of Pure and Applied Logic 67 (1992), 25\u201359.","journal-title":"Annals of Pure and Applied Logic"},{"key":"236038_CR3","volume-title":"Dynamic Logic of Proofs","author":"S. Artemov","year":"1994","unstructured":"S. Artemov, Dynamic Logic of Proofs, Extended Abstract, Amsterdam 1994."},{"key":"236038_CR4","unstructured":"G. Boolos, The Unprovability of Consistency. An Essay in Modal Logic, Cambridge University Press 1979."},{"key":"236038_CR5","volume-title":"The Logic of Provability","author":"G. Boolos","year":"1993","unstructured":"G. Boolos, The Logic of Provability, Cambridge Press, Cambridge 1993."},{"key":"236038_CR6","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1016\/0168-0072(91)90059-U","volume":"53","author":"S. Buss","year":"1991","unstructured":"S. Buss, \u2018The undecidability of k-provability\u2019, Annals of Pure and Applied Logic 53 (1991), 72\u2013102.","journal-title":"Annals of Pure and Applied Logic"},{"key":"236038_CR7","doi-asserted-by":"crossref","unstructured":"S. Feferman, \u2018Arithmetization of metamathematics in a general setting\u2019, Fundamenta Mathematicae 1960, 35\u201395.","DOI":"10.4064\/fm-49-1-35-92"},{"key":"236038_CR8","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BF01625836","volume":"27","author":"J. Krajicek","year":"1988","unstructured":"J. Krajicek, P. Pudlak, \u2018The number of proof lines and the size of proofs in first order logic\u2019, Archive for Mathematical Logic 27 (1988), 69\u201384.","journal-title":"Archive for Mathematical Logic"},{"key":"236038_CR9","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1090\/S0002-9947-1973-0432416-X","volume":"177","author":"R. J. Parikh","year":"1973","unstructured":"R. J. Parikh, \u2018Some results on the length of proofs\u2019, Transactions of the American Mathematical Society 177 (1973), 29\u201336.","journal-title":"Transactions of the American Mathematical Society"},{"key":"236038_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8601-8","volume-title":"Self Reference and Modal Logic","author":"C. Smory\u0143ski","year":"1985","unstructured":"C. Smory\u0143ski, Self Reference and Modal Logic, Springer Varlag, New York, Berlin, Heidelberg, Tokyo 1985."},{"key":"236038_CR11","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/BF02757006","volume":"25","author":"R. Solovay","year":"1976","unstructured":"R. Solovay, \u2018Provability interpretations of modal logic\u2019, Israel Journal of Mathematics 25 (1976), 357\u2013374.","journal-title":"Israel Journal of Mathematics"},{"key":"236038_CR12","volume-title":"Proof Theory","author":"G. Takeuti","year":"1980","unstructured":"G. Takeuti, Proof Theory, North Holland, Amsterdam 1980."},{"key":"236038_CR13","first-page":"11","volume":"288","author":"V. Vardanjan","year":"1986","unstructured":"V. Vardanjan, \u2018Arithmetical complexity of predicate logics of provability and their fragments\u2019, Doklady Akademii Nauk SSRR 288 (1986), 11\u201314.","journal-title":"Doklady Akademii Nauk SSRR"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005298816666.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005298816666\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005298816666.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:30:41Z","timestamp":1754631041000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005298816666"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,7]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,7]]}},"alternative-id":["236038"],"URL":"https:\/\/doi.org\/10.1023\/a:1005298816666","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1999,7]]}}}