About the unification types of the modal logics determined by classes of deterministic frames

Philippe Balbiani, Çiğdem Gencer, Maryam Rostamigiv +1

The unification problem in a propositional 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 uni…