{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:57:48Z","timestamp":1762459068479,"version":"build-2065373602"},"reference-count":21,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2013,9,1]],"date-time":"2013-09-01T00:00:00Z","timestamp":1377993600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,9,1]],"date-time":"2013-09-01T00:00:00Z","timestamp":1377993600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T00:00:00Z","timestamp":1504224000000},"content-version":"vor","delay-in-days":1461,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"funder":[{"name":"FCT and EU FEDER","award":["FCT PEst-OE\/EEI\/LA0008\/2013","AMDSC UTAustin\/MAT\/0057\/2008"],"award-info":[{"award-number":["FCT PEst-OE\/EEI\/LA0008\/2013","AMDSC UTAustin\/MAT\/0057\/2008"]}]},{"name":"European Union\u02bcs Seventh Framework Programme for Research (FP7)","award":["LANDAUER (GA 318287)"],"award-info":[{"award-number":["LANDAUER (GA 318287)"]}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Applied Logic"],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1016\/j.jal.2013.06.001","type":"journal-article","created":{"date-parts":[[2013,6,19]],"date-time":"2013-06-19T01:45:49Z","timestamp":1371606349000},"page":"328-349","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":4,"title":["Preservation of Craig interpolation by the product of matrix logics"],"prefix":"10.1016","volume":"11","author":[{"given":"C.","family":"Sernadas","sequence":"first","affiliation":[]},{"given":"J.","family":"Rasga","sequence":"additional","affiliation":[]},{"given":"A.","family":"Sernadas","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.jal.2013.06.001_br0010","series-title":"Advances in Modal Logic","first-page":"35","article-title":"Interpolation, definability and fixed points in interpretability logics","volume":"vol. 119","author":"Areces","year":"2001"},{"issue":"2","key":"10.1016\/j.jal.2013.06.001_br0020","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1093\/jigpal\/9.2.231","article-title":"Interpolation in practical formal development","volume":"9","author":"Bicarregui","year":"2001","journal-title":"Logic Journal of the IGPL"},{"key":"10.1016\/j.jal.2013.06.001_br0030","series-title":"Collegium Logicum, vol. 2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-3-7091-9461-4_6","article-title":"The Craig interpolation theorem for schematic systems","volume":"vol. 2","author":"Carbone","year":"1996"},{"issue":"1","key":"10.1016\/j.jal.2013.06.001_br0040","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1093\/logcom\/exm061","article-title":"Preservation of interpolation features by fibring","volume":"18","author":"Carnielli","year":"2008","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/j.jal.2013.06.001_br0050","doi-asserted-by":"crossref","first-page":"250","DOI":"10.2307\/2963593","article-title":"Linear reasoning. A new form of the Herbrand\u2013Gentzen theorem","volume":"22","author":"Craig","year":"1957","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/j.jal.2013.06.001_br0060","series-title":"Models, Algebras, and Proofs","first-page":"187","article-title":"Amalgamation and interpolation in abstract algebraic logic","volume":"vol. 203","author":"Czelakowski","year":"1999"},{"key":"10.1016\/j.jal.2013.06.001_br0070","article-title":"Proof Methods for Modal and Intuitionistic Logics","volume":"vol. 169","author":"Fitting","year":"1983"},{"key":"10.1016\/j.jal.2013.06.001_br0080","first-page":"115","article-title":"Fully adequate Gentzen systems and the deduction theorem","volume":"35","author":"Font","year":"2001","journal-title":"Reports on Mathematical Logic"},{"key":"10.1016\/j.jal.2013.06.001_br0100","series-title":"Conference in Mathematical Logic","first-page":"111","article-title":"Craig\u02bcs interpolation theorem for modal logics","volume":"vol. 255","author":"Gabbay","year":"1972"},{"key":"10.1016\/j.jal.2013.06.001_br0110","article-title":"Interpolation and Definability: Modal and Intuitionistic Logics","volume":"vol. 46","author":"Gabbay","year":"2005"},{"year":"2011","series-title":"Conditionals and Modularity in General Logics","author":"Gabbay","key":"10.1016\/j.jal.2013.06.001_br0090"},{"key":"10.1016\/j.jal.2013.06.001_br0120","article-title":"Interpolant-based transition relation approximation","volume":"3(4):4:1","author":"Jhala","year":"2007","journal-title":"Logical Methods in Computer Science"},{"issue":"4","key":"10.1016\/j.jal.2013.06.001_br0130","doi-asserted-by":"crossref","first-page":"1469","DOI":"10.2307\/2275487","article-title":"Properties of independently axiomatizable bimodal logics","volume":"56","author":"Kracht","year":"1991","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/j.jal.2013.06.001_br0140","first-page":"235","article-title":"On the interpolation theorem of Craig","volume":"12","author":"Maehara","year":"1960","journal-title":"Mathematical Society of Japan. Sugaku (Mathematics)"},{"issue":"2","key":"10.1016\/j.jal.2013.06.001_br0150","first-page":"253","article-title":"Failure of interpolation in combined modal logics","volume":"39","author":"Marx","year":"1998","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"10.1016\/j.jal.2013.06.001_br0160","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/j.tcs.2005.07.003","article-title":"An interpolating theorem prover","volume":"345","author":"McMillan","year":"2005","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.jal.2013.06.001_br0170","series-title":"Theory and Applications of Satisfiability Testing\u2014SAT","first-page":"194","article-title":"Encoding techniques, Craig interpolants and bounded model checking for incomplete designs","volume":"vol. 6175","author":"Miller","year":"2010"},{"key":"10.1016\/j.jal.2013.06.001_br0180","first-page":"345","article-title":"NP and Craig\u02bcs interpolation theorem","volume":"vol. 112","author":"Mundici","year":"1984"},{"issue":"1","key":"10.1016\/j.jal.2013.06.001_br0190","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1305\/ndjfl\/1093636529","article-title":"Some failures of interpolation in modal logic","volume":"27","author":"Schumm","year":"1986","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"6","key":"10.1016\/j.jal.2013.06.001_br0200","doi-asserted-by":"crossref","first-page":"1453","DOI":"10.1093\/logcom\/exr035","article-title":"On meet-combination of logics","volume":"22","author":"Sernadas","year":"2012","journal-title":"Journal of Logic and Computation"},{"issue":"5","key":"10.1016\/j.jal.2013.06.001_br0210","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/BF01349560","article-title":"Failure of interpolation in relevant logics","volume":"22","author":"Urquhart","year":"1993","journal-title":"Journal of Philosophical Logic"}],"container-title":["Journal of Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570868313000402?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570868313000402?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T23:30:31Z","timestamp":1761607831000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1570868313000402"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,9]]}},"alternative-id":["S1570868313000402"],"URL":"https:\/\/doi.org\/10.1016\/j.jal.2013.06.001","relation":{},"ISSN":["1570-8683"],"issn-type":[{"type":"print","value":"1570-8683"}],"subject":[],"published":{"date-parts":[[2013,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Preservation of Craig interpolation by the product of matrix logics","name":"articletitle","label":"Article Title"},{"value":"Journal of Applied Logic","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jal.2013.06.001","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2013 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}]}}