Call Boomerang Books 1300 36 33 32

Description - Many-Dimensional Modal Logics: Theory and Applications by Dov M. Gabbay

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations and provability. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects. To study the computational behaviour of many-dimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied many-dimensional systems (e.g., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio-temporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analysed using the developed machinery. The genre of the book can be defined as a research monograph. It brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). On the other hand, well-known results from modal and first-order logic are formulated without proofs and supplied with references to accessible sources.

Buy Many-Dimensional Modal Logics: Theory and Applications by Dov M. Gabbay from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9780444508263
ISBN-10: 0444508260
Format: Hardback
Pages: 766
Imprint: North-Holland
Publisher: Elsevier Science & Technology
Publish Date: 1-Oct-2003
Country of Publication: United States

Book Reviews - Many-Dimensional Modal Logics: Theory and Applications by Dov M. Gabbay

» Have you read this book? We'd like to know what you think about it - write a review about Many-Dimensional Modal Logics: Theory and Applications book by Dov M. Gabbay and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review


Author Biography - Dov M. Gabbay

Dov M. Gabbay is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. He has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international Journals, and many reference works and Handbooks of Logic.

Books By Dov M. Gabbay

Functional Interpretation of Logical Deduction by Dov M. Gabbay
Hardback, November 2011
$170.10
Philosophy of Statistics by Dov M. Gabbay
Hardback, May 2011
$214.16
Inductive Logic by Dov M. Gabbay
Hardback, May 2011
$287.06
Logic: A History of its Central Concepts by Dov M. Gabbay
Hardback, June 2010
$287.06