Filtering unification and most general unifiers in modal logic
Ghilardi, Silvio ; Sacchetti, Lorenzo
J. Symbolic Logic, Tome 69 (2004) no. 1, p. 879-906 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We characterize (both from a syntactic and an algebraic point of view) the normal K4-logics for which unification is filtering. We also give a sufficient semantic criterion for existence of most general unifiers, covering natural extensions of K4.2+ (i.e., of the modal system obtained from K4 by adding to it, as a further axiom schemata, the modal translation of the weak excluded middle principle).
Publié le : 2004-09-14
Classification:  Modal logic,  E-unification,  descriptive frames,  projective algebras,  03B20,  03B45,  68T15,  06D20,  08B30 
@article{1096901773,
     author = {Ghilardi, Silvio and Sacchetti, Lorenzo},
     title = {Filtering unification and most general unifiers in modal logic},
     journal = {J. Symbolic Logic},
     volume = {69},
     number = {1},
     year = {2004},
     pages = { 879-906},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1096901773}
}

Ghilardi, Silvio; Sacchetti, Lorenzo. Filtering unification and most general unifiers in modal logic. J. Symbolic Logic, Tome 69 (2004) no. 1, pp.  879-906. http://gdmltest.u-ga.fr/item/1096901773/