Interpolation in weakly transitive modal logics

DOI10.1007/S10469-012-9177-6MaRDI QIDQ694243zbMATH OpenOpenAlexFDO

Authors A. V. Karpenko

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

zbMATH Keywords

decidabilityaxiomatizationinterpolation propertyamalgamabilityDL-logicsweakly transitive modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Interpolation, preservation, definability (03C40)

Recommendations

• Decidability of some interpolation properties for weakly transitive modal logics
• Interpolation properties in the extensions of the logic of inequality
• Weak interpolation in extensions of the logics S4 and K4
• Weak interpolation in extensions of minimal logic
• WIP-minimal logics and interpolation

Cites work

• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3679781 (Why is no real title available?)
• scientific article; zbMATH DE number 1975416 (Why is no real title available?)
• scientific article; zbMATH DE number 934728 (Why is no real title available?)
• scientific article; zbMATH DE number 3231075 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• An incompleteness theorem in modal logic
• Automatic recognition of interpolation in modal calculi
• Decidability of the interpolation problem and of related properties in tabular logics
• Definability and interpolation in non-classical logics
• Interpolation properties in the extensions of the logic of inequality
• Modal definability in enriched languages
• Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Simple weakly transitive modal algebras
• Splitting lattices of logics
• The lattice of modal logics: an algebraic investigation
• The modal logic of inequality
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Weak interpolation in extensions of the logics S4 and K4
• « Everywhere » and « here »

Cited in

(12)

• Recognizable and perceptible logics and varieties
• Failure of interpolation in combined modal logics
• Model theoretical aspects of weakly aggregative modal logic
• scientific article; zbMATH DE number 5295715 (Why is no real title available?)
• scientific article; zbMATH DE number 4047685 (Why is no real title available?)
• Weak interpolation in extensions of the logics S4 and K4
• Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
• Interpolation properties in the extensions of the logic of inequality
• Simple weakly transitive modal algebras
• A weak form of interpolation in equational logic
• Decidability of some interpolation properties for weakly transitive modal logics
• Restricted interpolation over modal logic S4

This page was built for publication: Interpolation in weakly transitive modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q694243)