Ronald Fagin
contemporaryMathematical Logic / Formal Epistemologyb. 1945
Ronald Fagin is an American mathematician and computer scientist at IBM Research, renowned for foundational contributions to finite model theory, database theory, and the logic of knowledge. His work bridges mathematical logic and computer science, most notably through Fagin's theorem characterizing NP in terms of existential second-order logic and his influential research on epistemic reasoning.
Notable Achievements
1
Proved Fagin's theorem, characterizing NP as existential second-order logic
2
Co-authored 'Reasoning About Knowledge', a foundational text on epistemic logic
3
Pioneered formal frameworks for data exchange and schema mappings
4
Made foundational contributions to finite model theory and its applications
5
Developed influential models of knowledge and belief in multi-agent systems