Uniform Lyndon interpolation for basic non-normal modal logics (Q2148800)
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: Uniform Lyndon interpolation for basic non-normal modal logics |
scientific article; zbMATH DE number 7547747
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Uniform Lyndon interpolation for basic non-normal modal logics |
scientific article; zbMATH DE number 7547747 |
Statements
Uniform Lyndon interpolation for basic non-normal modal logics (English)
0 references
24 June 2022
0 references
non-normal modal logics
0 references
uniform interpolation
0 references
uniform Lyndon interpolation
0 references
Craig interpolation
0 references
0 references
0 references
0 references
0.9588442
0 references
0.9257344
0 references
0.92397666
0 references
0.9230441
0 references
0.9223436
0 references
0.91239715
0 references
0.91075915
0 references