[DL] Handbook of Modal Logic

Frank Wolter F.Wolter at csc.liv.ac.uk
Tue Nov 14 18:39:04 CET 2006

The Handbook of Modal Logic has appeared. The handbook
consists of 21 articles covering many topics of interest for the
DL community, in particular

(i) an article by I. Horrocks, U. Hustadt, U. Sattler and R. Schmidt
on computational modal (and description) logic;

(ii) an article by F. Baader and C. Lutz on description logics.

For more information see


Cheers,  Frank Wolter

More information about the dl mailing list