[DL] new book on modal, description, temporal and spatial logic
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