Kooi is a contemporary logician and philosopher known for work in dynamic epistemic logic and game theory. His contributions focus on belief revision, plausibility models, and the logical foundations of multi-agent reasoning.
Contributed to dynamic epistemic logic
Work on plausibility models in sequential games
Research on belief revision in multi-agent systems
Co-authored foundational texts on epistemic logic