{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:00:23Z","timestamp":1725487223143},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540727323"},{"type":"electronic","value":"9783540727347"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72734-7_17","type":"book-chapter","created":{"date-parts":[[2007,6,28]],"date-time":"2007-06-28T05:40:50Z","timestamp":1183009250000},"page":"241-253","source":"Crossref","is-referenced-by-count":0,"title":["Explicit Proofs in Formal Provability Logic"],"prefix":"10.1007","author":[{"given":"Evan","family":"Goris","sequence":"first","affiliation":[]}],"member":"297","reference":[{"unstructured":"Artemov, S.N.: Operational modal logic. Technical Report MSI 95-29, Cornell University (1995)","key":"17_CR1"},{"issue":"1","key":"17_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2687821","volume":"7","author":"S.N. Artemov","year":"2001","unstructured":"Artemov, S.N.: Explicit provability and constructive semantics. Bulletin of Symbolic Logic\u00a07(1), 1\u201336 (2001)","journal-title":"Bulletin of Symbolic Logic"},{"key":"17_CR3","first-page":"229","volume-title":"Handbook of Philosophical Logic, vol. 13","author":"S.N. Artemov","year":"2004","unstructured":"Artemov, S.N., Beklemishev, L.D.: Provability logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 13, 2nd edn., pp. 229\u2013403. Kluwer Academic Publishers, Dordrecht (2004)","edition":"2"},{"unstructured":"Artemov, S.N., Nogina, E.: Logic of knowledge with justifications from the provability perspective. Technical Report TR-2004011, CUNY Ph.D. Program in Computer Science (2004)","key":"17_CR4"},{"key":"17_CR5","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 Logic","author":"S.N. Artemov","year":"1993","unstructured":"Artemov, S.N., Stra\u00dfen, T.: The basic logic of proofs. In: Martini, S., B\u00f6rger, E., Kleine B\u00fcning, H., J\u00e4ger, G., Richter, M.M. (eds.) CSL 1992. LNCS, vol.\u00a0702, pp. 14\u201328. Springer, Heidelberg (1993)"},{"doi-asserted-by":"crossref","unstructured":"Beklemishev, L.D., Visser, A.: Problems in the logic of provability. Technical Report Logic Group Preprint Series 235, Department of Philosophy of Utrecht University, Utrecht (2005)","key":"17_CR6","DOI":"10.1007\/0-387-31072-X_2"},{"key":"17_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal logic. Cambridge University Press, New York (2001)"},{"key":"17_CR8","volume-title":"The Logic of Provability","author":"G. Boolos","year":"1993","unstructured":"Boolos, G.: The Logic of Provability. Cambridge University Press, Cambridge (1993)"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/11753728_21","volume-title":"Computer Science \u2013 Theory and Applications","author":"E. Goris","year":"2006","unstructured":"Goris, E.: Logic of proofs for bounded arithmetic. In: Grigoriev, D., Harrison, J., Hirsch, E.A. (eds.) CSR 2006. LNCS, vol.\u00a03967, pp. 191\u2013201. Springer, Heidelberg (2006)"},{"unstructured":"Goris, E.: Explicit proofs in formal provability logic. Technical Report TR-2006003, CUNY Ph.D. Program in Computer Science (2006)","key":"17_CR10"},{"unstructured":"Krupski, N.V.: On the complexity of the reflected logic of proofs. Technical Report TR-2003007, CUNY Ph.D. Program in Computer Science (2003)","key":"17_CR11"},{"key":"17_CR12","first-page":"2005","volume":"12","author":"E. Nogina","year":"2006","unstructured":"Nogina, E.: On logic of proofs and provability. Bulletin of Symbolic Logic\u00a012, 2005 Summer Meeting of the ASL (2006)","journal-title":"Bulletin of Symbolic Logic"},{"issue":"1","key":"17_CR13","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1305\/ndjfl\/1093636529","volume":"27","author":"G.F. Schumm","year":"1986","unstructured":"Schumm, G.F.: Some failures of interpolation in modal logic. Notre Dame Journal of Formal Logic\u00a027(1), 108\u2013110 (1986)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"17_CR14","doi-asserted-by":"publisher","first-page":"711","DOI":"10.2307\/2272418","volume":"37","author":"K. Segerberg","year":"1972","unstructured":"Segerberg, K.: Post completeness in modal logic. Journal of Symbolic Logic\u00a037, 711\u2013715 (1972)","journal-title":"Journal of Symbolic Logic"},{"key":"17_CR15","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"R.M. Solovay","year":"1976","unstructured":"Solovay, R.M.: Provability interpretations of modal logic. Israel Journal of Mathematics\u00a025, 287\u2013304 (1976)","journal-title":"Israel Journal of Mathematics"},{"issue":"1\u20133","key":"17_CR16","first-page":"345","volume":"113","author":"T.L. Yavorskaya-Sidon","year":"2002","unstructured":"Yavorskaya-Sidon, T.L.: Logic of proofs and provability. Annals of Pure and Applied Logic\u00a0113(1\u20133), 345\u2013372 (2002)","journal-title":"Annals of Pure and Applied Logic"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72734-7_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T14:30:22Z","timestamp":1683901822000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72734-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540727323","9783540727347"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72734-7_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}