Unification in Modal and Description Logics

Research output: Contribution to journal › Research article › Contributed › peer-review

Contributors

Details

Original languageEnglish
Pages (from-to)705–730
Number of pages26
JournalLogic Journal of the IGPL
Volume19
Issue number6
Publication statusPublished - 2011
Peer-reviewedYes

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