{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:38:34Z","timestamp":1725489514476},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678953"},{"type":"electronic","value":"9783540446224"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44622-2_36","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T08:32:38Z","timestamp":1187253158000},"page":"527-541","source":"Crossref","is-referenced-by-count":1,"title":["On the Logic of the Standard Proof Predicate"],"prefix":"10.1007","author":[{"given":"Rostislav E.","family":"Yavorsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,22]]},"reference":[{"key":"36_CR1","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0168-0072(94)90007-8","volume":"67","author":"S. Artemov","year":"1994","unstructured":"S. Artemov, Logic of Proofs. Annals of Pure and Applied Logic, 67 (1994), pp. 29\u201359.","journal-title":"Annals of Pure and Applied Logic"},{"key":"36_CR2","unstructured":"S. Artemov, Explicit provability: the intended semantics for intuitionistic and modal logic. Techn. Rep. No 98-10. Mathematical Science Institute, Cornell University, 1998. Available at http:\/\/www.math.cornell.edu\/~artemov\/publ.html"},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"S. Artemov, On explicit reflection in theorem proving and formal verification. In Springer Lecture Notes in Artificial Intelligence, 1632 (1999), pp. 267\u2013281.","DOI":"10.1007\/3-540-48660-7_23"},{"key":"36_CR4","unstructured":"S. Artemov, E. Kazakov and D. Shapiro, Logic of knowledge with justifications. Techn. Rep. No 99-12. Mathematical Science Institute, Cornell University, 1999."},{"key":"36_CR5","unstructured":"S. Artemov and T. Sidon-Yavorskaya, On the first order logic of proofs. Techn. Rep. No 99-11. Mathematical Science Institute, Cornell University, 1999."},{"key":"36_CR6","first-page":"39","volume":"4","author":"K. G\u00f6del","year":"1933","unstructured":"K. G\u00f6del, Eine Interpretation des intuitionistischen Aussagenkalkuls, Ergebnisse Math. Colloq., Bd. 4 (1933), S. 39\u201340.","journal-title":"Ergebnisse Math. Colloq."},{"key":"36_CR7","unstructured":"K. G\u00f6del, Vortrag bei Zilsel (1938), in S. Feferman, ed., Kurt G\u00f6del Collected Works. Volume III, Oxford University Press, 1995"},{"key":"36_CR8","doi-asserted-by":"crossref","unstructured":"D. Hilbert, P. Bernays, Grundlagen der Mathematik, II, Springer-Verlag, 1968.","DOI":"10.1007\/978-3-642-86894-8"},{"key":"36_CR9","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/BF01186549","volume":"35","author":"A. Kolmogoroff","year":"1932","unstructured":"A. Kolmogoroff, Zur Deutung der intuitionistischen Logik, Math. Ztschr., Bd. 35 (1932), S. 58\u201365.","journal-title":"Math. Ztschr."},{"key":"36_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/3-540-63045-7_27","volume-title":"Logical Foundations of Computer Science","author":"A. Mkrtychev","year":"1997","unstructured":"A. Mkrtychev, Models for the Logic of Proofs. In SpringerLecture Notes in Computer Science, 1234 (1997), pp. 266\u2013275."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44622-2_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T04:17:48Z","timestamp":1556770668000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44622-2_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678953","9783540446224"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-44622-2_36","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}