[DL] Handbook of Modal Logic

[Frank Wolter]

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

http://www.csc.liv.ac.uk/~frank/MLHandbook/

Cheers,  Frank Wolter