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.