Filtering unification and most general unifiers in modal logic (Q5311759)
From MaRDI portal
scientific article; zbMATH DE number 2199964
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Filtering unification and most general unifiers in modal logic |
scientific article; zbMATH DE number 2199964 |
Statements
Filtering unification and most general unifiers in modal logic (English)
0 references
29 August 2005
0 references
modal logic
0 references
E-unification
0 references
descriptive frames
0 references
projective algebras
0 references
filtering unification
0 references
0 references
