Paper Info
Title
Unification in modal and description logics
Abstract
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.
Year
DOI
Venue
2011
10.1093/jigpal/jzq008
Logic Journal of the IGPL
Keywords
Field
DocType
unification,description logics,modal logics,admissible rules
Modal μ-calculus,T-norm fuzzy logics,Normal modal logic,Accessibility relation,Kripke semantics,Computer science,Unification,Modal logic,Monoidal t-norm logic,Calculus
Journal
Volume
Issue
ISSN
19
6
1367-0751
Citations 
PageRank 
References 
21
1.03
44
Authors
2
Name
Order
Citations
PageRank
Franz Baader18123646.64
Silvio Ghilardi299086.49