{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:03:42Z","timestamp":1725563022625},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642148071"},{"type":"electronic","value":"9783642148088"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14808-8_23","type":"book-chapter","created":{"date-parts":[[2010,8,21]],"date-time":"2010-08-21T09:52:01Z","timestamp":1282384321000},"page":"337-351","source":"Crossref","is-referenced-by-count":4,"title":["Justification Logic and History Based Computation"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Bavera","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduardo","family":"Bonelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/3-540-45504-3_2","volume-title":"Proof Theory in Computer Science","author":"J. Alt","year":"2001","unstructured":"Alt, J., Artemov, S.: Reflective \u03bb-calculus. In: Kahle, R., Schroeder-Heister, P., St\u00e4rk, R.F. (eds.) PTCS 2001. LNCS, vol.\u00a02183, p. 22. Springer, Heidelberg (2001)"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-540-72734-7_2","volume-title":"Logical Foundations of Computer Science","author":"S. Artemov","year":"2007","unstructured":"Artemov, S., Bonelli, E.: The intensional lambda calculus. In: Artemov, S., Nerode, A. (eds.) LFCS 2007. LNCS, vol.\u00a04514, pp. 12\u201325. Springer, Heidelberg (2007)"},{"key":"23_CR3","unstructured":"Abadi, M., Fournet, C.: Access control based on execution history. In: NDSS. The Internet Society (2003)"},{"key":"23_CR4","unstructured":"Artemov, S.: Operational modal logic. Technical Report MSI 95-29, Cornell University (1995)"},{"issue":"1","key":"23_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2687821","volume":"7","author":"S. Artemov","year":"2001","unstructured":"Artemov, S.: Explicit provability and constructive semantics. Bulletin of Symbolic Logic\u00a07(1), 1\u201336 (2001)","journal-title":"Bulletin of Symbolic Logic"},{"key":"23_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-87803-2_1","volume-title":"Logics in Artificial Intelligence","author":"S. Artemov","year":"2008","unstructured":"Artemov, S.: Justification logic. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol.\u00a05293, pp. 1\u20134. Springer, Heidelberg (2008)"},{"key":"23_CR7","volume-title":"Handbook of Logic in Computer Science","author":"H. Barendregt","year":"1992","unstructured":"Barendregt, H.: Lambda Calculi with Types. In: Handbook of Logic in Computer Science. Oxford University Press, Oxford (1992)"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-92687-0_6","volume-title":"Logical Foundations of Computer Science","author":"E. Bonelli","year":"2008","unstructured":"Bonelli, E., Feller, F.: The logic of proofs as a foundation for certifying mobile computation. In: Artemov, S., Nerode, A. (eds.) LFCS 2009. LNCS, vol.\u00a05407, pp. 76\u201391. Springer, Heidelberg (2008)"},{"key":"23_CR9","unstructured":"Brezhnev, V.: On the logic of proofs. In: Proceedings of the Sixth ESSLLI Student Session, pp. 35\u201345 (2001)"},{"key":"23_CR10","first-page":"258","volume-title":"23rd POPL","author":"R. Davies","year":"1996","unstructured":"Davies, R., Pfenning, F.: A modal analysis of staged computation. In: 23rd POPL, pp. 258\u2013270. ACM Press, New York (1996)"},{"key":"23_CR11","first-page":"511","volume":"11","author":"R. Davies","year":"2001","unstructured":"Davies, R., Pfenning, F.: A judgmental reconstruction of modal logic. Journal of MSCS\u00a011, 511\u2013540 (2001)","journal-title":"Journal of MSCS"},{"issue":"3","key":"23_CR12","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/382780.382785","volume":"48","author":"R. Davies","year":"2001","unstructured":"Davies, R., Pfenning, F.: A modal analysis of staged computation. Journal of the ACM\u00a048(3), 555\u2013604 (2001)","journal-title":"Journal of the ACM"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/978-3-540-25979-4_15","volume-title":"Rewriting Techniques and Applications","author":"J. Giesl","year":"2004","unstructured":"Giesl, J., Thiemann, R., Schneider-Kamp, P., Falke, S.: Automated termination proofs with aprove. In: van Oostrom, V. (ed.) RTA 2004. LNCS, vol.\u00a03091, pp. 210\u2013220. Springer, Heidelberg (2004)"},{"issue":"1","key":"23_CR14","first-page":"11","volume":"1","author":"P. Martin-L\u00f6f","year":"1996","unstructured":"Martin-L\u00f6f, P.: On the meaning of the logical constants and the justifications of the logical laws. Nordic J. of Philosophical Logic\u00a01(1), 11\u201360 (1996)","journal-title":"Nordic J. of Philosophical Logic"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Nanevski, A., Pfenning, F., Pientka, B.: Contextual modal type theory. ACM Trans. Comput. Log.\u00a09(3) (2008)","DOI":"10.1145\/1352582.1352591"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14808-8_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:57:46Z","timestamp":1606186666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14808-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642148071","9783642148088"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14808-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}