Using Counterfactuals in Knowledge-Based Programming

Joseph Y. Halpern, Yoram Moses

This paper adds counterfactuals to the framework of knowledge-based programs of Fagin, Halpern, Moses, and Vardi. The use of counterfactuals is illustrated by designing a protocol…