Amalgamation and interpolation in normal modal logics (Q1189894)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Amalgamation and interpolation in normal modal logics |
scientific article |
Statements
Amalgamation and interpolation in normal modal logics (English)
0 references
27 September 1992
0 references
This paper 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.
0 references
survey
0 references
interpolation
0 references
propositional normal modal logics
0 references
amalgamation
0 references
varieties of modal algebras
0 references
0 references
