Parikh
contemporaryAnalytic Philosophy, Mathematical Logicb. 1936
Rohit Parikh is an Indian-American logician and philosopher known for his contributions to mathematical logic, game theory, and social software. He has made significant advances in the study of reasoning, knowledge, and belief revision, particularly in multi-agent settings and sequential games.
Notable Achievements
1
Pioneered the concept of social software, applying logical methods to social procedures and protocols
2
Made foundational contributions to the logic of knowledge and belief in multi-agent systems
3
Developed influential work on game theory and rational decision-making under dynamic belief revision
4
Proved Parikh's theorem on context-free languages, a fundamental result in formal language theory
5
Extended bisimulation and topology methods to epistemic and doxastic logic