Parikh & Ramanujam
contemporaryAnalytic Philosophy / Mathematical LogicRohit Parikh and R. Ramanujam are contemporary logicians known for their collaborative work in logic, game theory, and epistemic reasoning. Parikh is a pioneer in social software and dynamic epistemic logic, while Ramanujam has contributed significantly to logics of games and distributed systems. Together they have explored formal frameworks for reasoning about knowledge and belief in interactive settings.
Notable Achievements
1
Developed formal frameworks for epistemic logic in games
2
Contributed to the theory of plausibility updates in sequential games
3
Advanced logics of knowledge and belief in multi-agent systems
4
Work on social software and dynamic epistemic reasoning