{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,25]],"date-time":"2024-05-25T08:29:49Z","timestamp":1716625789055},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2007,10,25]],"date-time":"2007-10-25T00:00:00Z","timestamp":1193270400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2008,8]]},"DOI":"10.1007\/s00224-007-9057-y","type":"journal-article","created":{"date-parts":[[2007,10,24]],"date-time":"2007-10-24T14:17:56Z","timestamp":1193235476000},"page":"272-293","source":"Crossref","is-referenced-by-count":25,"title":["Interacting Explicit Evidence Systems"],"prefix":"10.1007","volume":"43","author":[{"given":"Tatiana","family":"Yavorskaya (Sidon)","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,10,25]]},"reference":[{"key":"9057_CR1","doi-asserted-by":"crossref","unstructured":"Artemov, S.: Uniform provability realization of intuitionistic logic, modality and \u03bb-terms. Electron. Notes Theor. Comput. Sci. 23 (1999)","DOI":"10.1016\/S1571-0661(04)00100-8"},{"key":"9057_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2687821","volume":"7","author":"S. Artemov","year":"2001","unstructured":"Artemov, S.: Explicit provability and constructive semantics. Bull. Symb. Log. 7, 1\u201336 (2001)","journal-title":"Bull. Symb. Log."},{"key":"9057_CR3","unstructured":"Artemov, S.: Evidence\u2013based common knowledge. Technical report TR\u20132004018, CUNY Ph.D. Program in Computer Science (2005)"},{"key":"9057_CR4","doi-asserted-by":"crossref","first-page":"935","DOI":"10.2307\/2274147","volume":"49","author":"A. Avron","year":"1984","unstructured":"Avron, A.: On Modal Systems having arithmetical interpretation. J. Symb. Log. 49, 935\u2013942 (1984)","journal-title":"J. Symb. Log."},{"issue":"1","key":"9057_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.apal.2004.04.009","volume":"132","author":"M. Fitting","year":"2005","unstructured":"Fitting, M.: The logic of proofs, semantically. Ann. Pure Appl. Log. 132(1), 1\u201325 (2005)","journal-title":"Ann. Pure Appl. Log."},{"key":"9057_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/3-540-44622-2_25","volume-title":"Computer Science Logic 2000","author":"R. Kuznets","year":"2000","unstructured":"Kuznets, R.: On the complexity of explicit modal logics. In: Computer Science Logic 2000. Lecture Notes in Computer Science, vol. 1862, pp. 371\u2013383. Springer, Berlin (2000)"},{"key":"9057_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/3-540-63045-7_27","volume-title":"Logical Foundations of Computer Science \u201997","author":"A. Mkrtychev","year":"1997","unstructured":"Mkrtychev, A.: Models for the logic of proofs. In: Logical Foundations of Computer Science \u201997, Yaroslavl\u2019. Lecture Notes in Computer Science, vol. 1234, pp. 266\u2013275. Springer, Berlin (1997)"},{"key":"9057_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8601-8","volume-title":"Self-reference and Modal Logic","author":"C. Smory\u0144ski","year":"1985","unstructured":"Smory\u0144ski, C.: Self-reference and Modal Logic. Springer, New York (1985)"},{"key":"9057_CR9","volume-title":"Basic Proof Theory","author":"A.S. Troelstra","year":"1996","unstructured":"Troelstra, A.S., Schwichtenberg, H.: Basic Proof Theory. Cambridge University Press, Cambridge (1996)"}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-007-9057-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-007-9057-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-007-9057-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T11:51:34Z","timestamp":1558698694000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-007-9057-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,25]]},"references-count":9,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,8]]}},"alternative-id":["9057"],"URL":"https:\/\/doi.org\/10.1007\/s00224-007-9057-y","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"value":"1432-4350","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10,25]]}}}