B. Bennett, C. Dixon, M. Fisher, U. Hustadt, E. Franconi, I. Horrocks, and M. de Rijke (2002): ``Combinations of Modal Logics.'' Artificial Intelligence Review 17(1):1-20.
Abstract, BibTeX, PDF, Abstract + PDF (© Springer).

There is increasing use of combinations of modal logics in both foundational and applied research areas. This article provides an introduction to both the principles of such combinations and to the variety of techniques that have been developed for them. In addition, the article outlines many key research problems yet to be tackled within this callenging area of work.


Logic and Computation Group at the Department of Computer Science, University of Liverpool
Maintained by Ullrich Hustadt, U.Hustadt@csc.liv.ac.uk, last updated Wednesday, 14-Aug-2013 08:18:40 BST © 1998-2004 by Ullrich Hustadt.