RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra Logika, 2012 Volume 51, Number 2, Pages 197–215 (Mi al530)

This article is cited in 3 papers

Interpolation in weakly transitive modal logics

A. V. Karpenko

Novosibirsk State University, Novosibirsk, Russia

Abstract: We construct an axiomatization of 16 extensions of the logic $DL$ possessing the deductive interpolation property (IPD). It is proved that the weak interpolation property (WIP) is decidable in weakly transitive modal logics. Likewise, the weak amalgamation property is proved decidable for varieties of weakly transitive modal algebras.

Keywords: weakly transitive modal logics, $DL$-logics, decidability, axiomatization, interpolation property, amalgamability.

UDC: 510.643+512.57

Received: 12.03.2011


 English version:
Algebra and Logic, 2012, 51:2, 131–143

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024