Many-Dimensional Modal Logics: Theory and Applications: Volume 148

by Michael Zakharyaschev, Frank Wolter, A. Kurucz, et al.

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...

• Format: Hardcover
• Language: English
• ISBN: 0444508260
• ISBN13: 9780444508263
• Release Date: November 2003
• Publisher: North-Holland
• Length: 766 Pages
• Weight: 2.87 lbs.
• Dimensions: 1.4" x 6.5" x 9.0"