Unifiability in extensions of K4
Çigdem Gencer, Dick de Jongh

Abstract:
We give a semantic characterization for unifiability and
non-unifiablity in the extensions of K4. We apply this in particular
to extensions of KD4, GL and K4.3 to obtaina syntactic
characterization and prove decidability for these logics. For that
purpose we use universal models.