About the unification type of simple symmetric modal logics

Philippe Balbiani, Çiğdem Gencer

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 unif…