Combinations of Modal Logics
作者:Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke
摘要
There is increasing use of combinations of modal logics in bothfoundational and applied research areas. This article provides anintroduction to both the principles of such combinations and to thevariety of techniques that have been developed for them. In addition,the article outlines many key research problems yet to be tackledwithin this callenging area of work.
论文关键词:knowledge representation, logical reasoning, modal logics
论文评审过程:
论文官网地址:https://doi.org/10.1023/A:1015057926707