Books by Ronald Fagin

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.