We show that some common varieties of modal K4-algebras have finitary unification type, thus providing effective best solutions for equations in free algebras. Applications to admissible inference rules are immediate. © 2000 Elsevier Science B.V.
Ghilardi, S. (2000). Best solving modal equations. Annals of Pure and Applied Logic, 102(3), 183–198. https://doi.org/10.1016/S0168-0072(99)00032-9