van der Hoek & Wooldridge
contemporaryFormal Epistemology / Multi-Agent Systems / Epistemic Game TheoryWiebe van der Hoek and Michael Wooldridge are logicians and computer scientists whose collaborative work fuses epistemic logic, game theory, and multi-agent systems. They have made foundational contributions to the formal study of knowledge, belief, and strategic reasoning among computational agents. Their joint research is particularly influential in the formal analysis of rational agency and epistemic game theory.
Notable Achievements
1
Developed formal logical frameworks for reasoning about knowledge and belief in multi-agent systems
2
Advanced epistemic game theory by applying modal logic to strategic interaction and belief revision
3
Contributed foundational results on the complexity of reasoning in multi-agent epistemic logics
4
Co-authored influential work on alternating-time temporal logic (ATL) for strategic reasoning
5
Helped establish the field of computational social choice and its logical underpinnings