Interpolation in weakly transitive modal logics
From MaRDI portal
Publication:694243
DOI10.1007/s10469-012-9177-6zbMath1282.03010MaRDI QIDQ694243
Publication date: 11 December 2012
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10469-012-9177-6
decidability; axiomatization; interpolation property; amalgamability; DL-logics; weakly transitive modal logics
03B45: Modal logic (including the logic of norms)
03B25: Decidability of theories and sets of sentences
03C40: Interpolation, preservation, definability
Related Items
Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics, Recognizable and perceptible logics and varieties, Restricted interpolation over modal logic S4
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Weak interpolation in extensions of the logics S4 and K4
- Decidability of the interpolation problem and of related properties in tabular logics
- Interpolation properties in the extensions of the logic of inequality
- Simple weakly transitive modal algebras
- Modal definability in enriched languages
- Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
- Definability and interpolation in non-classical logics
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Automatic recognition of interpolation in modal calculi
- The lattice of modal logics: an algebraic investigation
- Splitting lattices of logics
- The modal logic of inequality
- « Everywhere » and « here »
- An incompleteness theorem in modal logic
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi