Authors
Dov M. Gabbay, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
A scholarly work on many-dimensional modal logic that surveys foundational theory and applications across logic, artificial intelligence, and computer science.

Published in 2003 by Elsevier/North-Holland, this work by Dov M. Gabbay, Agi Kurucz, Frank Wolter, and Michael Zakharyaschev presents an integrated treatment of modern modal and temporal logics, with emphasis on many-dimensional systems and their applications. Sources identify it as volume 148 in the "Studies in Logic and the Foundations of Mathematics" series.
Dov M. Gabbay, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
No public reviews yet.