{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T04:17:23Z","timestamp":1761970643817,"version":"build-2065373602"},"reference-count":40,"publisher":"Informa UK Limited","issue":"1-2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1998,1]]},"DOI":"10.1080\/11663081.1998.10510933","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T08:12:32Z","timestamp":1338365552000},"page":"67-105","source":"Crossref","is-referenced-by-count":8,"title":["Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic"],"prefix":"10.1080","volume":"8","author":[{"given":"Judit X.","family":"Madar\u00e1sz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"volume-title":"Handbook of Algebraic Logic","author":"Andr\u00e9ka H.","key":"CIT0001"},{"key":"CIT0002","doi-asserted-by":"crossref","unstructured":"Andr\u00e9ka, H. \u00c1, Kurucz, N\u00e9meti, I. and Sain, I. 1994.Applying algebraic logic to logicEdited by: Nivat, M. 5\u201326. Springer-Verlag. \u201cApplying algebraic logic; A general methodology,\u201dProceedings of the Summer School of Algebraic LogicKluwer, to appear Shortened version of this appeared as in \u201cAlgebraic Methodology and Software Technology\u201d","DOI":"10.1007\/978-1-4471-3227-1_3"},{"volume-title":"Craig's Interpolation does not imply amalgamation, after all, Manuscript","year":"1994","author":"Andr\u00e9ka H.","key":"CIT0003"},{"volume-title":"On Interpolation, Amalgamation, Universal Algebra and Boolean Algebras with Operators, Mathematical Institute, Budapest, Preprint","year":"1994","author":"Andr\u00e9ka H.","key":"CIT0004"},{"key":"CIT0005","first-page":"87","volume-title":"Proceeding of the 9th Amsterdam Colloquium, Universiteit van Amsterdam","author":"Andr\u00e9ka H.","year":"1994"},{"volume-title":"Model-Theoretic Logics","year":"1985","author":"Barwise J.","key":"CIT0006"},{"volume-title":"Proceedings of the Summer School of Algebraic Logic","author":"Blackburn P.","key":"CIT0007"},{"key":"CIT0008","volume":"77","author":"Blok W. J.","year":"1989","journal-title":"Memoirs Amer. Math. Soc."},{"volume-title":"Proceedings of the Summer School of Algebraic Logic","author":"Blok W. J.","key":"CIT0009"},{"key":"CIT0010","series-title":"Colloquia Mathematica Societatis, J\u00e1nos Bolyai, 43","volume-title":"Lectures in Universal Algebra","author":"Comer S. D.","year":"1986"},{"key":"CIT0011","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1093\/oso\/9780198537458.003.0006","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","volume":"1","author":"Fitting M.","year":"1993"},{"key":"CIT0012","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1093\/jigpal\/2.1.55","volume":"2","author":"Font J. M.","year":"1994","journal-title":"Bulletin of the IGPL"},{"volume-title":"Proceedings of the Summer School of Algebraic Logic","author":"Font J. M.","key":"CIT0013"},{"key":"CIT0014","first-page":"167","volume":"33","author":"Fried E.","year":"1990","journal-title":"Annales Univ. Sci. Budapest"},{"key":"CIT0015","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538592.001.0001","volume-title":"What is a Logical System?","author":"Gabbay D. M.","year":"1994"},{"key":"CIT0016","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-5203-4","volume-title":"Handbook of Philosophical Logic, Vol.II, D. Reidel, Dortrecht\/Boston\/Lancaster","author":"Gabbay D. M.","year":"1986"},{"key":"CIT0017","volume":"7","author":"Goldblatt R. I.","year":"1987","journal-title":"CSLI Lecture Notes"},{"volume-title":"Algebraic Polymodal Logic","author":"Goldblatt R. I.","key":"CIT0018"},{"volume-title":"Cylindric Algebras Part I, North Holland, Amsterdam","year":"1971","author":"Henkin L.","key":"CIT0019"},{"volume-title":"Cylindric Algebras Part. II, North Holland, Amsterdam","year":"1985","author":"Henkin L.","key":"CIT0020"},{"key":"CIT0021","first-page":"79","volume":"54","author":"J\u00f3nsson B.","year":"1948","journal-title":"Bulletin of the Amer. Math. Soc."},{"key":"CIT0022","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"J\u00f3nsson B.","year":"1952","journal-title":"Amer. J. Math."},{"volume-title":"A survey of Boolean algebras with operators","year":"1992","author":"J\u00f3nsson B.","key":"CIT0023"},{"key":"CIT0024","first-page":"79","volume":"18","author":"Kiss E. W.","year":"1983","journal-title":"Studia Sci. Math. Hangar."},{"key":"CIT0025","first-page":"46","volume":"31","author":"Lemmon E.","year":"1966","journal-title":"I-II"},{"key":"CIT0026","first-page":"147","volume":"24","author":"Madar\u00e1sz J. X.","year":"1995","journal-title":"Bulletin of the Section of Logic"},{"volume-title":"Epimorphisms in discriminator varieties","author":"Madar\u00e1sz J. X.","key":"CIT0027"},{"volume-title":"Interpolation in algebraizable logics","author":"Madar\u00e1sz J. X.","key":"CIT0028"},{"key":"CIT0029","first-page":"457","volume-title":"Studia Logica, L(3\/4)","author":"Maksimova L. L.","year":"1991"},{"key":"CIT0030","first-page":"556","volume":"18","author":"Maksimova L. L.","year":"1979","journal-title":"Algebra i logika"},{"key":"CIT0031","first-page":"21","volume":"24","author":"Maksimova L. L.","year":"1995","journal-title":"Bulletin of the Section of Logic"},{"key":"CIT0032","unstructured":"Marx, M. 1995. \u201cAlgebraic relativization and arrow logic,\u201d PhD thesis, Institute for Logic, Language and Computation, Universiteit van Amsterdam\u201d."},{"key":"CIT0033","first-page":"485","volume":"12","author":"N\u00e9meti I.","journal-title":"Studia Logica"},{"key":"CIT0034","doi-asserted-by":"crossref","DOI":"10.2307\/2274323","volume":"50","author":"N\u00e9meti I.","year":"1985","journal-title":"Journal of Symbolic Logic"},{"key":"CIT0035","first-page":"394","volume-title":"What is a Logical System?","author":"N\u00e9meti I.","year":"1994"},{"issue":"3","key":"CIT0036","first-page":"269","volume":"1","author":"Pigozzi D.","year":"1972","journal-title":"Algebra Universalis"},{"volume-title":"Strong amalgamation and epimorphisms of cylindric algebras and Boolean algebras with operators, Preprint, Math. Inst. Hungar. Acad. Sci.","year":"1979","author":"Sain I.","key":"CIT0037"},{"key":"CIT0038","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/BFb0043086","volume":"24","author":"Sain I.","year":"1990","journal-title":"Lecture Notes in Computer Science"},{"volume-title":"Many-Dimensional Modal Logics, PhD thesis, Institute for Logic, Language and Computation, Universiteit van Amsterdam","year":"1992","author":"Venema Y.","key":"CIT0039"},{"key":"CIT0040","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi (Basic Theory of Consequence Operation)","author":"W\u00f3jcicki R.","year":"1988"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T21:32:14Z","timestamp":1713994334000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1998.10510933"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1]]},"references-count":40,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1998,1]]}},"alternative-id":["10.1080\/11663081.1998.10510933"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1998.10510933","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"type":"print","value":"1166-3081"},{"type":"electronic","value":"1958-5780"}],"subject":[],"published":{"date-parts":[[1998,1]]}}}