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

Zusammenfassung Aims to study the computational behaviour of many-dimensional modal logics. This book is concerned with providing a mathematical foundation for this discipline, and shows that different applied many-dimensional systems fit in with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery.

Dettagli sul prodotto

• Autori: D. M. Gabbay, Dov M. Gabbay, Dov M. (King's College London Gabbay, A. Kurucz, A. (King's College Kurucz, A. (King''s College Kurucz, F. Wolter, F. (University of Liverpool Wolter, M. Zakharyaschev, M. (King's College Zakharyaschev
• Editore: ELSEVIER SCIENCE BV
• Lingue: Inglese
• Formato: Copertina rigida
• Pubblicazione: 21.10.2003
• EAN: 9780444508263
• ISBN: 978-0-444-50826-3
• Pagine: 766
• Serie: Studies in Logic and the Foundations of Mathematics
• Categoria: Scienze naturali, medicina, informatica, tecnica > Matematica > Fondamenti