Interpolation in weakly transitive modal logics
type: Item
instance of: scholarly article
title: Interpolation in weakly transitive modal logics
zbMATH Open document ID: 1282.03010
author: A. V. Karpenko
published in: Algebra and Logic
publication date: 2012-12-11T00:00:00Z
review text: The paper establishes decidability of weakened versions of Craig interpolation for two classes of modal propositional logics, namely, the classes of normal modal logics extending the systems wK4 and DL, respectively. Of these two, wK4 is just the basic system K plus the following weak version of transitivity: \[ (A \wedge \square A) \to \square\square A, \] whereas DL is wK4 plus the Brouwer (symmetry) axiom \(A \to \square\lozenge A\). The author uses algebraic semantics for modal logic so she mostly speaks about, say, DL-algebras rather than DL-frames. The paper relies heavily on the earlier results obtained by the author herself and by L. Maksimova; more than 50\% of the text is devoted to an exposition of preliminaries and of a dozen theorems from earlier papers. The author basically builds upon an earlier result that there are exactly 16 extensions of DL that enjoy the so-called deductive interpolation property. She then defines formulas that can play the role of characteristic formulas for an important class of finite DL-algebras so that an algebra from this class will be a model of a given extension of DL iff its characteristic formula is NOT a theorem of DL. These characteristic formulas are then used to give finite axiomatizations of the 16 extensions mentioned above in a pretty straightforward way. The author then uses the fact that checking whether a given extension of DL by a given list of new axioms coincides with one of these 16 extensions can be done by checking that the additional axioms are FALSE in the algebras corresponding to the characteristic formulas used as the axioms in this latter extension. This provides a decision procedure for the deductive interpolation property in the extensions of DL. As a corollary, the author obtains decidability of the weak interpolation property for logics extending wK4 using an earlier result that an extension of DL with new axioms \(A\) has deductive interpolation iff the extension of wK4 with these same axioms …
reviewed by: Grigory Olkhovikov
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03C40
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 6115029
zbMATH Keywords: weakly transitive modal logics
zbMATH Keywords: DL-logics
zbMATH Keywords: decidability
zbMATH Keywords: axiomatization
zbMATH Keywords: interpolation property
zbMATH Keywords: amalgamability
MaRDI profile type: Publication
full work available at URL: s10469-012-9177-6
OpenAlex ID: W1984162169
cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
cites work: Simple weakly transitive modal algebras
cites work: Interpolation properties in the extensions of the logic of inequality
cites work: Q4424659
cites work: Modal definability in enriched languages
cites work: The modal logic of inequality
cites work: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
cites work: Definability and interpolation in non-classical logics
cites work: Q3022776
cites work: Q3128959
cites work: Weak interpolation in extensions of the logics S4 and K4
cites work: Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
cites work: Q5734410
cites work: Q5519127
cites work: Splitting lattices of logics
cites work: Automatic recognition of interpolation in modal calculi
cites work: The lattice of modal logics: an algebraic investigation
cites work: « Everywhere » and « here »
cites work: An incompleteness theorem in modal logic
cites work: Q4895321
cites work: Q3875897
cites work: Decidability of the interpolation problem and of related properties in tabular logics
DOI: 10.1007/S10469-012-9177-6
description: scientific article; zbMATH DE number 6115029