Hardback
Add to list Added to list Many-Dimensional Modal Logics: Theory and Applications
A. Kurucz (King's College, London, UK),F. Wolter (University of Liverpool, UK),M. Zakharyaschev (King's College, London, UK),Dov M. Gabbay (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London.)
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…
Available to order, ships in approx 2 weeksAvailable to order