Failure of interpolation in combined modal logics

DOI10.1305/ndjfl/1039293067zbMath0968.03025OpenAlexW1982085420MaRDI QIDQ5937819

Maarten Marx, Carlos Areces

Publication date: 17 July 2001

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1039293067

zbMATH Keywords

interpolationfirst-order logicframesbisimulationscombinations of modal logicsfinite-variable fragments

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)

Related Items

Notes on logics of metric spaces ⋮ Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions ⋮ ``That will do: logics of deontic necessity and sufficiency ⋮ Preservation of Craig interpolation by the product of matrix logics ⋮ Epimorphisms in cylindric algebras and definability in finite variable logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logical matrices and the amalgamation property
• Modal definability in enriched languages
• Information systems theoretical foundations
• Interpolation theorems in modal logics. Sufficient conditions
• A note on the tense logic of dominoes
• Multi-dimensional modal logic
• Model theory
• Classes without the amalgamation property
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• An ascending chain of S4 logics
• Products of modal logics, part 1