{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:25:11Z","timestamp":1720625111521},"reference-count":28,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2020,10,3]],"date-time":"2020-10-03T00:00:00Z","timestamp":1601683200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2020,12]]},"DOI":"10.1016\/j.entcs.2020.10.002","type":"journal-article","created":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T17:52:29Z","timestamp":1606240349000},"page":"3-16","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["A Note on Constructive Interpolation for the Multi-Modal Logic K"],"prefix":"10.1016","volume":"354","author":[{"given":"Everardo","family":"B\u00e1rcenas","sequence":"first","affiliation":[]},{"given":"Jos\u00e9-de-Jes\u00fas","family":"Lavalle-Mart\u00ednez","sequence":"additional","affiliation":[]},{"given":"Guillermo","family":"Molero-Castillo","sequence":"additional","affiliation":[]},{"given":"Alejandro","family":"Vel\u00e1zquez-Mena","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.entcs.2020.10.002_br0010","article-title":"On Padoa's method in the theory of definition","volume":"21","author":"Beth","year":"1956","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/j.entcs.2020.10.002_br0020","doi-asserted-by":"crossref","DOI":"10.1007\/s11225-007-9021-5","article-title":"Uniform interpolation and propositional quantifiers in modal logics","volume":"85","author":"B\u00edlkov\u00e1","year":"2007","journal-title":"Studia Logica"},{"key":"10.1016\/j.entcs.2020.10.002_br0030","doi-asserted-by":"crossref","DOI":"10.2307\/2273702","article-title":"The relative efficiency of propositional proof systems","volume":"44","author":"Cook","year":"1979","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.entcs.2020.10.002_br0040","doi-asserted-by":"crossref","DOI":"10.2307\/2963594","article-title":"Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory","volume":"22","author":"Craig","year":"1957","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.entcs.2020.10.002_br0050","article-title":"Interpolation in non-classical logics","volume":"164","author":"D'Agostino","year":"2008","journal-title":"Synthese"},{"key":"10.1016\/j.entcs.2020.10.002_br0060","doi-asserted-by":"crossref","DOI":"10.2307\/2586539","article-title":"Logical questions concerning the \u03bc-calculus: Interpolation, lyndon and Los-tarski","volume":"65","author":"D'Agostino","year":"2000","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/j.entcs.2020.10.002_br0070","doi-asserted-by":"crossref","DOI":"10.1016\/j.apal.2014.11.002","article-title":"Modal interpolation via nested sequents","volume":"166","author":"Fitting","year":"2015","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/j.entcs.2020.10.002_br0080","series-title":"Conference in Mathematical Logic \u2014 London '70","article-title":"Craig's interpolation theorem for modal logics","author":"Gabbay","year":"1972"},{"key":"10.1016\/j.entcs.2020.10.002_br0090","series-title":"Interpolation and Definability","author":"Gabbay","year":"2011"},{"key":"10.1016\/j.entcs.2020.10.002_br0100","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(92)90049-4","article-title":"A guide to completeness and complexity for modal logics of knowledge and belief","volume":"54","author":"Halpern","year":"1992","journal-title":"Artif. Intell."},{"key":"10.1016\/j.entcs.2020.10.002_br0110","doi-asserted-by":"crossref","DOI":"10.2178\/jsl\/1190150141","article-title":"PDL has interpolation","volume":"67","author":"Kowalski","year":"2002","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/j.entcs.2020.10.002_br0120","doi-asserted-by":"crossref","DOI":"10.2178\/jsl\/1096901777","article-title":"Retraction note for \u201cPDL has interpolation\u201d","volume":"69","author":"Kowalski","year":"2004","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/j.entcs.2020.10.002_br0130","series-title":"Tools and Techniques in Modal Logic","author":"Kracht","year":"1999"},{"key":"10.1016\/j.entcs.2020.10.002_br0140","series-title":"Formalization of Programming Concepts, International Colloquium","article-title":"A proof theoretic methodology for propositional dynamic logic","volume":"vol. 107","author":"Leivant","year":"1981"},{"key":"10.1016\/j.entcs.2020.10.002_br0150","series-title":"IJCAI, Proceedings of the 22nd International Joint Conference on Artificial Intelligence","article-title":"Foundations for uniform interpolation and forgetting in expressive description logics","author":"Lutz","year":"2011"},{"key":"10.1016\/j.entcs.2020.10.002_br0160","article-title":"The Craig interpolation theorem in multi-modal logics","volume":"3","author":"Madar\u00e1sz","year":"1995","journal-title":"Bulletin of the Section of Logic"},{"key":"10.1016\/j.entcs.2020.10.002_br0170","article-title":"On the interpolation Theorem of Craig","volume":"12","author":"Maehara","year":"1960","journal-title":"Sugaku"},{"key":"10.1016\/j.entcs.2020.10.002_br0180","doi-asserted-by":"crossref","DOI":"10.1007\/BF01673502","article-title":"Interpolation theorems in modal logics and amalgamable varieties of topological boolean algebras","volume":"18","author":"Maksimova","year":"1979","journal-title":"Algebra and Logic"},{"key":"10.1016\/j.entcs.2020.10.002_br0190","doi-asserted-by":"crossref","DOI":"10.1007\/BF00370682","article-title":"Amalgamation and interpolation in normal modal logics","volume":"50","author":"Maksimova","year":"1991","journal-title":"Studia Logica"},{"key":"10.1016\/j.entcs.2020.10.002_br0200","article-title":"Temporal logics with \u201cthe next\u201d operator do not have interpolation or the beth property","volume":"32","author":"Maksimova","year":"1991","journal-title":"Siberian Mathematical Journal"},{"key":"10.1016\/j.entcs.2020.10.002_br0210","series-title":"Algebraic Methodology and Software Technology, 7th International Conference, AMAST, Proceedings","article-title":"Interpolation in modal logic","volume":"vol. 1548","author":"Marx","year":"1998"},{"key":"10.1016\/j.entcs.2020.10.002_br0220","series-title":"Handbook of Model Checking.","article-title":"Interpolation and model checking","author":"McMillan","year":"2018"},{"key":"10.1016\/j.entcs.2020.10.002_br0230","article-title":"(Hyper)sequent calculi for the ALC(S4) description logics","volume":"20","author":"Munoz-Toriz","year":"2016","journal-title":"Computaci\u00f3n y Sistemas"},{"key":"10.1016\/j.entcs.2020.10.002_br0240","doi-asserted-by":"crossref","DOI":"10.1023\/A:1013834410884","article-title":"Analytic tableau systems and interpolation for the modal logics KB, KDB, K5, KD5","volume":"69","author":"Nguyen","year":"2001","journal-title":"Studia Logica"},{"key":"10.1016\/j.entcs.2020.10.002_br0250","series-title":"Sequent calculi for modal logic","author":"Poggiolesi","year":"2008"},{"key":"10.1016\/j.entcs.2020.10.002_br0260","article-title":"A result on consistency and its application to the theory of definition","volume":"25","author":"Robinson","year":"1960","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/j.entcs.2020.10.002_br0270","doi-asserted-by":"crossref","DOI":"10.1016\/j.ipl.2009.02.011","article-title":"Common knowledge does not have the beth property","volume":"109","author":"Studer","year":"2009","journal-title":"Inf. Process. Lett."},{"key":"10.1016\/j.entcs.2020.10.002_br0280","doi-asserted-by":"crossref","DOI":"10.1613\/jair.4057","article-title":"Beth definability in expressive description logics","volume":"48","author":"ten Cate","year":"2013","journal-title":"J. Artif. Intell. Res."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066120300785?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066120300785?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,4,15]],"date-time":"2021-04-15T04:12:20Z","timestamp":1618459940000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066120300785"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12]]},"references-count":28,"alternative-id":["S1571066120300785"],"URL":"https:\/\/doi.org\/10.1016\/j.entcs.2020.10.002","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2020,12]]}}}
