Interpolation in weakly transitive modal logics

DOI10.1007/S10469-012-9177-6zbMATH Open1282.03010OpenAlexW1984162169MaRDI QIDQ694243FDOQ694243

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

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

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)

Cites Work

• The modal logic of inequality
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• 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
• « Everywhere » and « here »
• Title not available (Why is that?)
• Decidability of the interpolation problem and of related properties in tabular logics
• 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
• Automatic recognition of interpolation in modal calculi
• Title not available (Why is that?)
• Splitting lattices of logics
• Weak interpolation in extensions of the logics S4 and K4
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modal definability in enriched languages
• An incompleteness theorem in modal logic
• Interpolation properties in the extensions of the logic of inequality
• Simple weakly transitive modal algebras

Cited In (9)

• Recognizable and perceptible logics and varieties
• Failure of interpolation in combined modal logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Weak interpolation in extensions of the logics S4 and K4
• Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics
• Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
• A weak form of interpolation in equational logic
• 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)