ENGLISH

Many-Dimensional Modal Logics: Theory and Applications

By Dov M. Gabbay

Book information

Publisher
Elsevier Science
Year
2004
Language
english
Format
PDF
Filesize
30 MB (31666530 bytes)
Series
Studies in Logic and the Foundations of Mathematics, Volume 148
Pages
730\730
Topic
Mathematics Logic
Library
mexmat
Time added
2009-07-20 03:45:11

Description

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, provability, etc. 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 analyzed using the developed machinery.

Similar books