Decidability of some interpolation properties for weakly transitive modal logics

DOI10.1007/978-3-319-69917-2_9zbMATH Open1429.03083OpenAlexW2789748635MaRDI QIDQ5214737FDOQ5214737

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

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

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)

Cites Work

• The modal logic of inequality
• Title not available (Why is that?)
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Boolean Algebras with Operators. Part I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• The lattice of modal logics: an algebraic investigation
• Title not available (Why is that?)
• « Everywhere » and « here »
• Title not available (Why is that?)
• A weak form of interpolation in equational logic
• Title not available (Why is that?)
• Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
• Definability and interpolation in non-classical logics
• Splitting lattices of logics
• Weak interpolation in extensions of the logics S4 and K4
• Interpolation in weakly transitive modal logics
• Undecidable properties of extensions of the logic of provability
• Title not available (Why is that?)
• Topological Modal Logics with Difference Modality
• Modal definability in enriched languages
• An incomplete logic containing S4
• An incompleteness theorem in modal logic
• Interpolation properties in the extensions of the logic of inequality
• Simple weakly transitive modal algebras
• Interpolation theorems in modal logics. Sufficient conditions
• Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• On interpolation problem in paraconsistent extensions of the minimal logic
• Automatic recognition of the interpolation property in some superintuitionistic propositional logics

Cited In (4)

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

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)