About the unification type of simple symmetric modal logics

02/11/2019
by   Philippe Balbiani, et al.
0

The unification problem in a normal modal logic is to determine, given a formula F, whether there exists a substitution s such that s(F) is in that logic. In that case, s is a unifier of F. We shall say that a set of unifiers of a unifiable formula F is complete if for all unifiers s of F, there exists a unifier t of F in that set such that t is more general than s. When a unifiable formula has no minimal complete set of unifiers, the formula is nullary. In this paper, we prove that KB, KDB and KTB possess nullary formulas.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset