Translator Disclaimer
September 2004 Filtering unification and most general unifiers in modal logic
Silvio Ghilardi, Lorenzo Sacchetti
J. Symbolic Logic 69(3): 879-906 (September 2004). DOI: 10.2178/jsl/1096901773

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).

Citation

Download Citation

Silvio Ghilardi. Lorenzo Sacchetti. "Filtering unification and most general unifiers in modal logic." J. Symbolic Logic 69 (3) 879 - 906, September 2004. https://doi.org/10.2178/jsl/1096901773

Information

Published: September 2004
First available in Project Euclid: 4 October 2004

zbMATH: 1069.03011
MathSciNet: MR2078928
Digital Object Identifier: 10.2178/jsl/1096901773

Subjects:
Primary: 03B20 , 03B45 , 68T15
Secondary: 06D20 , 08B30

Keywords: descriptive frames , E-unification , modal logic , projective algebras

Rights: Copyright © 2004 Association for Symbolic Logic

JOURNAL ARTICLE
28 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.69 • No. 3 • September 2004
Back to Top