Amalgamation and interpolation in normal modal logics (Q1189894)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Amalgamation and interpolation in normal modal logics |
scientific article; zbMATH DE number 58410
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Amalgamation and interpolation in normal modal logics |
scientific article; zbMATH DE number 58410 |
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
