|
This article is cited in 3 scientific papers (total 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.
Received: 12.03.2011
Citation:
A. V. Karpenko, “Interpolation in weakly transitive modal logics”, Algebra Logika, 51:2 (2012), 197–215; Algebra and Logic, 51:2 (2012), 131–143
Linking options:
https://www.mathnet.ru/eng/al530 https://www.mathnet.ru/eng/al/v51/i2/p197
|
Statistics & downloads: |
Abstract page: | 523 | Full-text PDF : | 87 | References: | 56 | First page: | 10 |
|