37 citations · 152 across the 17 of their papers we have counts for
4 papers · 1 filter
What Causes a System to Satisfy a Specification?
Hana Chockler, Joseph Y. Halpern, Orna Kupferman
Even when a system is proven to be correct with respect to a specification, there is still a question of how complete the specification is, and whether it really covers all the beh…
Complete Axiomatizations for Reasoning About Knowledge and Time
Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various…
Reasoning About Common Knowledge with Infinitely Many Agents
Joseph Y. Halpern, Richard A. Shore
Complete axiomatizations and exponential-time decision procedures are provided for reasoning about knowledge and common knowledge when there are infinitely many agents. The results…
Common knowledge revisited
R. Fagin, J. Y. Halpern, Y. Moses +1
We consider the common-knowledge paradox raised by Halpern and Moses: common knowledge is necessary for agreement and coordination, but common knowledge is unattainable in the real…