an:02199964
Zbl 1069.03011
Ghilardi, Silvio; Sacchetti, Lorenzo
Filtering unification and most general unifiers in modal logic
EN
J. Symb. Log. 69, No. 3, 879-906 (2004).
00115552
2004
j
03B45 03B35 03G25
modal logic; E-unification; descriptive frames; projective algebras; filtering unification
The paper introduces a syntactic and an algebraic characterization of the normal K\(4\) logics for which unification in an equational theory \(E\) is filtering (given two solutions to a unification problem, there is always another one which is more general than both of them). Firstly, it is proved that filtering unification in modal logic is characterized by the fact that finitely presented projective algebras are closed under binary products. Then, the case of normal extensions \(L\) of K\(4\) is studied, showing that \(L\) has filtering unification if and only if it extends the logic K\(4.2^+\) obtained from K\(4\) by adding to it the modal translation of the weak excluded middle principle. In the rest of the paper, the authors prove that unification is indeed unitary in K\(4.2^+\), and also in all extensions of it having the finite-model property and the 2-glueing property (this is a property of the finite frames, roughly saying that such frames are closed under disjoint union, adding a new root and identifying final clusters).
Manuel Ojeda Aciego (Malaga)