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). Secondary: 06D20, 08B30.
Filtering Unification and Most General Unifiers in Modal Logic / S. Ghilardi, L. Sacchetti. - In: THE JOURNAL OF SYMBOLIC LOGIC. - ISSN 0022-4812. - 69:3(2004), pp. 879-906.
Filtering Unification and Most General Unifiers in Modal Logic
S. GhilardiPrimo
;L. SacchettiUltimo
2004
Abstract
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). Secondary: 06D20, 08B30.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.