Ronald Fagin, Joseph Halpern, and collaborators are contemporary computer scientists and logicians whose joint work formalized reasoning about knowledge, belief, and uncertainty in multi-agent systems. Their foundational text 'Reasoning About Knowledge' established epistemic logic as a rigorous tool for distributed computing, game theory, and AI, including analyses of plausibility measures and belief revision in sequential games.
Co-authored 'Reasoning About Knowledge' (1995), a foundational text on epistemic logic in multi-agent systems
Developed formal models of common knowledge and distributed knowledge for computer science applications
Advanced the theory of plausibility measures as generalizations of probability for belief representation
Applied epistemic logic to sequential games, distinguishing ex ante from in-play plausibility updates
Bridged logic, game theory, and theoretical computer science through rigorous formal frameworks