Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics

DOI10.1007/978-3-319-69917-2_9zbMath1429.03083OpenAlexW2789748635MaRDI QIDQ5214737

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)

Related Items (1)

The interpolation problem in finite-layered pre-Heyting logics

Cites Work

• 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
• Interpolation in weakly transitive modal logics
• Undecidable properties of extensions of the logic of provability
• Modal definability in enriched languages
• Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
• Interpolation theorems in modal logics. Sufficient conditions
• 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
• Topological Modal Logics with Difference Modality
• A weak form of interpolation in equational logic
• The lattice of modal logics: an algebraic investigation
• Splitting lattices of logics
• The modal logic of inequality
• « Everywhere » and « here »
• An incomplete logic containing S4
• An incompleteness theorem in modal logic
• On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Boolean Algebras with Operators. Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics