Data & IT
Many-Dimensional Modal Logics: Theory and Applications
A Kurucz • F Wolter • M Zakharyaschev • Dov M Gabbay • A Kurucz
Inbunden
3089:-
Uppskattad leveranstid 5-10 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Inbunden
- ISBN: 9780444508263
- Språk: Engelska
- Antal sidor: 766
- Utgivningsdatum: 2003-10-21
- Förlag: Elsevier Science & Technology