{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T18:29:07Z","timestamp":1790965747799,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540894384","type":"print"},{"value":"9783540894391","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89439-1_10","type":"book-chapter","created":{"date-parts":[[2008,11,15]],"date-time":"2008-11-15T03:03:10Z","timestamp":1226718190000},"page":"143-157","source":"Crossref","is-referenced-by-count":4,"title":["A Conditional Logical Framework"],"prefix":"10.1007","author":[{"given":"Furio","family":"Honsell","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marina","family":"Lenisa","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luigi","family":"Liquori","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ivan","family":"Scagnetto","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"1","key":"10_CR1","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1023\/A:1005060022386","volume":"60","author":"A. Avron","year":"1998","unstructured":"Avron, A., Honsell, F., Miculan, M., Paravano, C.: Encoding Modal Logics in Logical Frameworks. Studia Logica\u00a060(1), 161\u2013208 (1998)","journal-title":"Studia Logica"},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1145\/604131.604152","volume-title":"Proc. of POPL","author":"G. Barthe","year":"2003","unstructured":"Barthe, G., Cirstea, H., Kirchner, C., Liquori, L.: Pure Pattern Type Systems. In: Proc. of POPL, pp. 250\u2013261. ACM Press, New York (2003)"},{"key":"10_CR3","unstructured":"Cresswell, M., Hughes, G.: A companion to Modal Logic. Methuen (1984)"},{"issue":"2\/3","key":"10_CR4","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0890-5401(88)90005-3","volume":"76","author":"T. Coquand","year":"1988","unstructured":"Coquand, T., Huet, G.: The Calculus of Constructions. Information and Computation\u00a076(2\/3), 95\u2013120 (1988)","journal-title":"Information and Computation"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/3-540-45127-7_8","volume-title":"Rewriting Techniques and Applications","author":"H. Cirstea","year":"2001","unstructured":"Cirstea, H., Kirchner, C., Liquori, L.: Matching Power. In: Middeldorp, A. (ed.) RTA 2001. LNCS, vol.\u00a02051, pp. 77\u201392. Springer, Heidelberg (2001)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-45315-6_11","volume-title":"Foundations of Software Science and Computation Structures","author":"H. Cirstea","year":"2001","unstructured":"Cirstea, H., Kirchner, C., Liquori, L.: The Rho Cube. In: Honsell, F., Miculan, M. (eds.) FOSSACS 2001. LNCS, vol.\u00a02030, pp. 166\u2013180. Springer, Heidelberg (2001)"},{"issue":"1","key":"10_CR7","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1023\/A:1027357912519","volume":"31","author":"G. Dowek","year":"2003","unstructured":"Dowek, G., Hardin, T., Kirchner, C.: Theorem Proving Modulo. Journal of Automated Reasoning\u00a031(1), 33\u201372 (2003)","journal-title":"Journal of Automated Reasoning"},{"issue":"1","key":"10_CR8","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/138027.138060","volume":"40","author":"R. Harper","year":"1993","unstructured":"Harper, R., Honsell, F., Plotkin, G.: A Framework for Defining Logics. Journal of the ACM\u00a040(1), 143\u2013184 (1993); Preliminary version in proc. of LICS 1987","journal-title":"Journal of the ACM"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/j.entcs.2007.02.014","volume":"172","author":"F. Honsell","year":"2007","unstructured":"Honsell, F., Lenisa, M., Liquori, L.: A Framework for Defining Logical Frameworks. Computation, Meaning and Logic. Articles dedicated to Gordon Plotkin, Electr. Notes Theor. Comput. Sci.\u00a0172, 399\u2013436 (2007)","journal-title":"Computation, Meaning and Logic. Articles dedicated to Gordon Plotkin, Electr. Notes Theor. Comput. Sci."},{"key":"10_CR10","unstructured":"Kirchner, C., Kirchner, H., Rusinowitch, M.: Deduction with Symbolic Constraints. Technical Report 1358, INRIA, Unit\u00e9 de recherche de Lorraine, Vandoeuvre-l\u00e8s-Nancy, FRANCE (1990)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Nanevski, A., Pfenning, F., Pientka, B.: Contextual Model Type Theory. ACM Transactions on Computational Logic\u00a09(3) (2008)","DOI":"10.1145\/1352582.1352591"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Watkins, K., Cervesato, I., Pfenning, F., Walker, D.: A Concurrent Logical Framework I: Judgments and Properties. Technical Report CMU-CS-02-101, Department of Computer Science, Carnegie Mellon University (2002)","DOI":"10.21236\/ADA418517"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89439-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,21]],"date-time":"2023-05-21T03:01:43Z","timestamp":1684638103000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89439-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540894384","9783540894391"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89439-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}