[DL] new book on modal, description, temporal and spatial logic

[Frank Wolter]

New book on computational properties of modal logics with introductory 
chapters on basic description logics, temporal logic, epistemic logic, 
spatial logic, etc.

Other features relevant for DL:
Chapters on tableaux for and the decidability and complexity of
temporal, epistemic and modal description logics.

Many-Dimensional Modal Logics: Theory and Applications. 
Author: D. Gabbay, A. Kurucz, F. Wolter, M. Zakharyaschev 
(Studies in Logic and the Foundations of Mathematics, 148, Elsevier, 
North-Holland, 2003, 0-444-50826-0),

http://www.elsevier.com/inca/publications/store/6/8/0/8/3/9/index.htt