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

Frank Wolter F.Wolter at csc.liv.ac.uk
Thu Oct 2 11:44:02 CEST 2003

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),


More information about the dl mailing list