Skip to content
cs-conference-ranking.org

Rohit Parikh

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

18

Venues

13

Active years

1978–2017

Best venue rank

A*

Where they publish

Papers

18 indexed papers, newest first.

YearVenueTitleAuthors
2017WoLLICAn Epistemic Generalization of Rationalizability.Rohit Parikh
2007LFCSSome Puzzles About Probability and Probabilistic Conditionals.Rohit Parikh
2005TARKLogical omniscience and common knowledge: WHAT do we know and what do WE know?Rohit Parikh
2004JELIAKnowledge-Theoretic Properties of Strategic Voting.Samir Chopra, Eric Pacuit, Rohit Parikh
1999IJCAIAn Inconsistency Tolerant Model for Belief Representation and Belief Revision.Samir Chopra, Rohit Parikh
1998AiMLPropositions, Propositional Attitudes and Belief Revision.Rohit Parikh
1992TARKTopological Reasoning and The Logic of Knowledge.Lawrence S. Moss, Rohit Parikh
1990TARKRecent Issues in Reasoning about Knowledge.Rohit Parikh
1987ISMISKnowledge and the Problem of Logical Omniscience.Rohit Parikh
1986LICSLevels of Knowledge in Distributed ComputingRohit Parikh
1983FCTPropositional Logics of Programs: New Directions.Rohit Parikh
1983FOCSPropositional Game LogicRohit Parikh
1981STOCEquations between Regular Terms and an Application to Process LogicAshok K. Chandra, Joseph Y. Halpern, Albert R. Meyer, Rohit Parikh
1980FOCSProcess Logic: Expressiveness, Decidability, CompletenessDavid Harel, Dexter Kozen, Rohit Parikh
1980POPLPropositional Logics of Programs: Systems, Models, and Complexity.Rohit Parikh
1980STOCDefinability in Dynamic LogicAlbert R. Meyer, Rohit Parikh
1978FOCSA Decidability Result for a Second Order Process LogicRohit Parikh
1978MFCSThe Completeness of Propositional Dynamic Logic.Rohit Parikh