Many-Dimensional Modal Logics: Theory and Applications: Volume 148 (Studies in Logic and the Foundations of Mathematics)

by Dov M. Gabbay (Author), A. Kurucz (Author), F. Wolter (Author), M. Zakharyaschev (Author)

• New

  Illustrated
  2003

  $201.01

  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.