A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf
.
Unification in modal and description logics
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