Decidability of some interpolation properties for weakly transitive modal logics

DOI10.1007/978-3-319-69917-2_9MaRDI QIDQ5214737zbMATHOpenAlexFDO

Authors A. V. Karpenko

Publication date 5 February 2020

Published in Larisa Maksimova on Implication, Interpolation, and Definability (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-69917-2_9

zbMATH Keywords

difference logicweak interpolation propertydeductive interpolation propertyweakly transitive modal logic

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

• Interpolation in weakly transitive modal logics
• Publication:3197805
• Weak interpolation in extensions of the logics S4 and K4
• Interpolation properties in the extensions of the logic of inequality
• Simple weakly transitive modal algebras

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 3659563 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3561300 (Why is no real title available?)
• scientific article; zbMATH DE number 1975416 (Why is no real title available?)
• scientific article; zbMATH DE number 2196596 (Why is no real title available?)
• scientific article; zbMATH DE number 3353345 (Why is no real title available?)
• scientific article; zbMATH DE number 3368607 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A weak form of interpolation in equational logic
• An incomplete logic containing S4
• An incompleteness theorem in modal logic
• Automatic recognition of the interpolation property in some superintuitionistic propositional logics
• Boolean Algebras with Operators. Part I
• Definability and interpolation in non-classical logics
• Interpolation in weakly transitive modal logics
• Interpolation properties in the extensions of the logic of inequality
• Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
• Interpolation theorems in modal logics. Sufficient conditions
• Modal definability in enriched languages
• Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
• On interpolation problem in paraconsistent extensions of the minimal logic
• 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
• Topological Modal Logics with Difference Modality
• Undecidable properties of extensions of the logic of provability
• Weak interpolation in extensions of the logics S4 and K4
• « Everywhere » and « here »

Cited in

(5)

• Interpolation in weakly transitive modal logics
• Simple weakly transitive modal algebras
• Model theoretical aspects of weakly aggregative modal logic
• The interpolation problem in finite-layered pre-Heyting logics
• The decidability of Craig's interpolation property in well-composed J-logics

This page was built for publication: Decidability of some interpolation properties for weakly transitive modal logics

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