{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T18:21:09Z","timestamp":1747592469098,"version":"3.40.3"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030195694"},{"type":"electronic","value":"9783030195700"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-19570-0_44","type":"book-chapter","created":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T12:27:54Z","timestamp":1557145674000},"page":"675-691","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Interpolation and Beth Definability in Default Logics"],"prefix":"10.1007","author":[{"given":"Valentin","family":"Cassano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raul","family":"Fervari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Areces","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo F.","family":"Castro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,6]]},"reference":[{"key":"44_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-45757-7_20","volume-title":"Logics in Artificial Intelligence","author":"E Amir","year":"2002","unstructured":"Amir, E.: Interpolation theorems for nonmonotonic reasoning systems. In: Flesca, S., Greco, S., Ianni, G., Leone, N. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 233\u2013244. Springer, Heidelberg (2002). \n                      https:\/\/doi.org\/10.1007\/3-540-45757-7_20"},{"key":"44_CR2","doi-asserted-by":"crossref","unstructured":"Antoniou, G., Wang, K.: Default logic. In: Gabbay, D., Woods, J. (eds.) The Many Valued and Nonmonotonic Turn in Logic. Handbook of the History of Logic, vol. 8, pp. 517\u2013555. North-Holland (2007)","DOI":"10.1016\/S1874-5857(07)80011-2"},{"issue":"3","key":"44_CR3","doi-asserted-by":"publisher","first-page":"977","DOI":"10.2307\/2695090","volume":"66","author":"C Areces","year":"2001","unstructured":"Areces, C., Blackburn, P., Marx, M.: Hybrid logics: characterization, interpolation and complexity. J. Symb. Logic 66(3), 977\u20131010 (2001)","journal-title":"J. Symb. Logic"},{"key":"44_CR4","unstructured":"Areces, C., de Rijke, M.: Interpolation and bisimulation in temporal logic. In: Workshop on Logic, Language, Information and Computation (WoLLIC 1998), pp. 15\u201321 (1998)"},{"key":"44_CR5","doi-asserted-by":"crossref","unstructured":"Areces, C., ten Cate, B.: Hybrid logics. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, pp. 821\u2013868. Elsevier (2006)","DOI":"10.1016\/S1570-2464(07)80017-6"},{"issue":"2","key":"44_CR6","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1093\/jigpal\/9.2.231","volume":"9","author":"J Bicarregui","year":"2001","unstructured":"Bicarregui, J., Dimitrakos, T., Gabbay, D., Maibaum, T.: Interpolation in practical formal development. Logic J. IGPL 9(2), 231\u2013244 (2001)","journal-title":"Logic J. IGPL"},{"key":"44_CR7","doi-asserted-by":"publisher","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, Cambridge (2001)"},{"issue":"2","key":"44_CR8","doi-asserted-by":"publisher","first-page":"463","DOI":"10.2178\/jsl\/1052669059","volume":"68","author":"P Blackburn","year":"2003","unstructured":"Blackburn, P., Marx, M.: Constructive interpolation in hybrid logic. J. Symb. Logic 68(2), 463\u2013480 (2003)","journal-title":"J. Symb. Logic"},{"key":"44_CR9","unstructured":"Cassano, V., Areces, C., Castro, P.: Reasoning about prescription and description using prioritized default rules. In: Barthe, G., Sutcliffe, G., Veanes, M. (eds.) 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-22). EPiC Series in Computing, vol. 57, pp. 196\u2013213. EasyChair (2018)"},{"key":"44_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B Chellas","year":"1980","unstructured":"Chellas, B.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)"},{"key":"44_CR11","doi-asserted-by":"publisher","first-page":"269","DOI":"10.2307\/2963594","volume":"22","author":"W Craig","year":"1957","unstructured":"Craig, W.: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. J. Symb. Logic 22, 269\u2013285 (1957)","journal-title":"J. Symb. Logic"},{"issue":"5","key":"44_CR12","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1093\/logcom\/exi021","volume":"15","author":"J Delgrande","year":"2005","unstructured":"Delgrande, J., Schaub, T.: Expressing default logic variants in default logic. J. Logic Comput. 15(5), 593\u2013621 (2005)","journal-title":"J. Logic Comput."},{"issue":"1\u20132","key":"44_CR13","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(94)90106-6","volume":"70","author":"J Delgrande","year":"1994","unstructured":"Delgrande, J., Schaub, T., Jackson, W.: Alternative approaches to default logic. Artif. Intell. 70(1\u20132), 167\u2013237 (1994)","journal-title":"Artif. Intell."},{"key":"44_CR14","unstructured":"Diaconescu, R., Goguen, J., Stefaneas, P.: Logical support for modularisation. Papers Presented at the 2nd Annual Workshop on Logical Environments, pp. 83\u2013130. Cambridge University Press, Cambridge (1993)"},{"key":"44_CR15","volume-title":"A Mathematical Introduction to Logic","author":"H Enderton","year":"2001","unstructured":"Enderton, H.: A Mathematical Introduction to Logic, 2nd edn. Academic Press, Cambridge (2001)","edition":"2"},{"key":"44_CR16","unstructured":"Font, J.: Abstract Algebraic Logic. An Introductory Textbook, 1st edn. College Publications (2016)"},{"key":"44_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/BFb0023427","volume-title":"Logics in AI","author":"C Froidevaux","year":"1992","unstructured":"Froidevaux, C., Mengin, J.: A framework for default logics. In: Pearce, D., Wagner, G. (eds.) JELIA 1992. LNCS, vol. 633, pp. 154\u2013173. Springer, Heidelberg (1992). \n                      https:\/\/doi.org\/10.1007\/BFb0023427"},{"key":"44_CR18","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1111\/j.1467-8640.1994.tb00168.x","volume":"10","author":"C Froidevaux","year":"1994","unstructured":"Froidevaux, C., Mengin, J.: Default logics: a unified view. Comput. Intell. 10, 331\u2013369 (1994)","journal-title":"Comput. Intell."},{"key":"44_CR19","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198511748.001.0001","volume-title":"Interpolation and Definability: Modal and Intuitionistic Logic","author":"D Gabbay","year":"2005","unstructured":"Gabbay, D., Maksimova, L.: Interpolation and Definability: Modal and Intuitionistic Logic. Oxford University Press, Oxford (2005)"},{"key":"44_CR20","first-page":"917","volume":"42","author":"D Gabbay","year":"2011","unstructured":"Gabbay, D., Pearce, D., Valverde, A.: Interpolable formulas in equilibrium logic and answer set programming. J. Artif. Intell. Res. 42, 917\u2013943 (2011)","journal-title":"J. Artif. Intell. Res."},{"key":"44_CR21","volume-title":"Knowledge and Belief","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)"},{"key":"44_CR22","unstructured":"Hoogland, E.: Definability and Interpolation. Ph.D. thesis, Institute for Logic, Language and Computation Universiteit van Amsterdam (2001)"},{"key":"44_CR23","unstructured":"Kontchakov, R., Wolter, F., Zakharyaschev, M.: Can you tell the difference between DL-Lite ontologies? In: 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 285\u2013295. AAAI Press (2008)"},{"key":"44_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1111\/j.1467-8640.1988.tb00086.x","volume":"4","author":"W \u0141ukaszewicz","year":"1988","unstructured":"\u0141ukaszewicz, W.: Considerations on default logic: an alternative approach. Comput. Intell. 4, 1\u201316 (1988)","journal-title":"Comput. Intell."},{"key":"44_CR25","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-662-09691-8_13","volume-title":"Recent Trends in Data Type Specification","author":"Tom Maibaum","year":"1985","unstructured":"Maibaum, T., Sadler, M.: Axiomatizing specification theory. In: 3rd Workshop on Theory and Applications of ADTs (WADT 1984). Informatik-Fachberichte, vol. 116, pp. 171\u2013177. Springer, Heidelberg (1984)"},{"key":"44_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-31980-1_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"KL McMillan","year":"2005","unstructured":"McMillan, K.L.: Applications of craig interpolants in model checking. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 1\u201312. Springer, Heidelberg (2005). \n                      https:\/\/doi.org\/10.1007\/978-3-540-31980-1_1"},{"key":"44_CR27","unstructured":"Mikitiuk, A., Truszczynski, M.: Constrained and rational default logics. In: 14th International Joint Conference on Artificial Intelligence (IJCAI 1995), pp. 1509\u20131517 (1995)"},{"issue":"2","key":"44_CR28","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/s11229-010-9778-3","volume":"179","author":"R Parikh","year":"2011","unstructured":"Parikh, R.: Beth definability, interpolation and language splitting. Synthese 179(2), 211\u2013221 (2011)","journal-title":"Synthese"},{"issue":"1\u20132","key":"44_CR29","first-page":"81","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. AI 13(1\u20132), 81\u2013132 (1980)","journal-title":"AI"},{"key":"44_CR30","unstructured":"Schaub, T.: On constrained default theories. In: 11th European Conference on Artificial Intelligence (ECAI 1992), pp. 304\u2013308 (1992)"},{"key":"44_CR31","volume-title":"Mathematical Logic","author":"J Shoenfield","year":"1967","unstructured":"Shoenfield, J.: Mathematical Logic. Addison-Wesley, Boston (1967)"},{"key":"44_CR32","volume-title":"Axiomatic Set Theory. Dover Books on Mathematics","author":"P Suppes","year":"1972","unstructured":"Suppes, P.: Axiomatic Set Theory. Dover Books on Mathematics. Dover Publications, Mineola (1972)"},{"key":"44_CR33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85108-0","volume-title":"Logic and structure","author":"D Dalen van","year":"2004","unstructured":"van Dalen, D.: Logic and structure, 5th edn. Springer, Heidelberg (2004). \n                      https:\/\/doi.org\/10.1007\/978-3-540-85108-0","edition":"5"},{"issue":"5","key":"44_CR34","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/0020-0190(94)00203-B","volume":"53","author":"P Veloso","year":"1995","unstructured":"Veloso, P., Maibaum, T.: On the modularization theorem for logical specifications. Inf. Process. Lett. 53(5), 287\u2013293 (1995)","journal-title":"Inf. Process. Lett."},{"key":"44_CR35","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"GH Wright Von","year":"1951","unstructured":"Von Wright, G.H.: Deontic logic. Mind 60, 1\u201315 (1951)","journal-title":"Mind"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-19570-0_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T10:40:33Z","timestamp":1558348833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-19570-0_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030195694","9783030195700"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-19570-0_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"6 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JELIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Logics in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rende","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 May 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 May 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jelia2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/jelia2019.mat.unical.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}