An Interview with Prof. Parikh

Some of Prof. Parikh's Publications

The themes for the session devoted to discuss the contributions of Prof. Rohit Parikh

• formal language theory, especially inherently ambiguous languages and semilinear sets
• mathematical logic, specifically lengths of proofs and feasible arithmetic
• logic in computer science, specifically dynamic logic and logics of knowledge
• philosophical logic, especially vagueness, nonmonotonic reasoning, belief revision
• social software, including the logic of games.