Effective Interpolation and Preservation in Guarded Logics (Q5277909)
From MaRDI portal
scientific article; zbMATH DE number 6744227
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Effective Interpolation and Preservation in Guarded Logics |
scientific article; zbMATH DE number 6744227 |
Statements
Effective Interpolation and Preservation in Guarded Logics (English)
0 references
12 July 2017
0 references
guarded negation fragment
0 references
guarded fragment
0 references
mosaic method
0 references
