Joseph Halpern and Moshe Vardi are contemporary computer scientists and logicians whose collaborative work bridges theoretical computer science, epistemic logic, and decision theory. They are known for foundational contributions to reasoning about knowledge in multi-agent systems and the semantics of belief revision in game-theoretic contexts.
Co-authored foundational work on reasoning about knowledge in distributed and multi-agent systems
Developed formal frameworks for plausibility measures and belief revision
Advanced epistemic logic applications to game theory and sequential decision-making
Contributed to the semantics of counterfactual reasoning in dynamic games