Unification in modal and description logics

F. Baader, S. Ghilardi
2010 Logic Journal of the IGPL  
Unification was originally introduced in automated deduction and term rewriting, but has recently also found applications in other fields. In this article, we give a survey of the results on unification obtained in two closely related, yet different, application areas of unification: description logics and modal logics.
doi:10.1093/jigpal/jzq008 fatcat:hrew2tewyrfopf2a5egnmhm23q