๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Interpolation in weakly transitive modal logics

โœ Scribed by A. V. Karpenko


Book ID
118794846
Publisher
Springer US
Year
2012
Tongue
English
Weight
983 KB
Volume
51
Category
Article
ISSN
0002-5232

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Simple weakly transitive modal algebras
โœ A. V. Karpenko; L. L. Maksimova ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› Springer US ๐ŸŒ English โš– 408 KB
Amalgamation and interpolation in normal
โœ Larisa Maksimova ๐Ÿ“‚ Article ๐Ÿ“… 1991 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 740 KB

This is a survey of results on interpolation in propositional normal modal logics. Interpolation properties of these logics are closely connected with amalgamation properties of varieties of modal algebras. Therefore, the results on interpolation are also reformulated in terms of amalgamation.