Failure of interpolation in combined modal logics
From MaRDI portal
Publication:5937819
DOI10.1305/ndjfl/1039293067zbMath0968.03025MaRDI QIDQ5937819
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
interpolation; first-order logic; frames; bisimulations; combinations of modal logics; finite-variable fragments
Related Items
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions, Notes on logics of metric spaces, Epimorphisms in cylindric algebras and definability in finite variable logic, ``That will do: logics of deontic necessity and sufficiency, Preservation of Craig interpolation by the product of matrix logics
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