Unification in Modal and Description Logics
Research output: Contribution to journal › Research article › Contributed › peer-review
Contributors
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.
Details
| Original language | English |
|---|---|
| Pages (from-to) | 705–730 |
| Number of pages | 26 |
| Journal | Logic Journal of the IGPL |
| Volume | 19 |
| Issue number | 6 |
| Publication status | Published - 2011 |
| Peer-reviewed | Yes |
External IDs
| Scopus | 80054722443 |
|---|---|
| ORCID | /0000-0002-4049-221X/work/142247898 |
Keywords
DFG Classification of Subject Areas according to Review Boards
Subject groups, research areas, subject areas according to Destatis
Keywords
- description logic, unification, modal logic