Ronald Fagin is Manager of the Foundations of Computer Science Group, Computer Science Department, IBM Almaden Research Center. Joseph Y. Halpern is Professor of Computer Science at Cornell University. He is the author of Actual Causality and the coauthor of Reasoning about Knowledge, both published by the MIT Press. Yoram Moses is Associate Professor in the Electrical Engineering Department at Technion-Israel Institute of Technology.
It is easy to foresee that this book will become a classic.-Fabrizio Sebastiani, The Computer Journal