Amalgamation and interpolation in normal modal logics |
| |
| Authors: | Larisa Maksimova |
| |
| Affiliation: | (1) Institute of Mathematics Siberian Division of AS of the USSR, 630090 Novosibirsk, USSR |
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
