On Context-Free Languages. - Rohit Parikh (J. ACM, 1966)

Existence and Feasibility in Arithmetic. - Rohit Parikh (J. Symb. Log., 1971)

A Decidability Result for a Second Order Process Logic - Rohit Parikh (FOCS, 1978)

The Completeness of Propositional Dynamic Logic. - Rohit Parikh (MFCS, 1978)

Propositional Dynamic Logics of Programs: a Survey. - Rohit Parikh (Logic of Programs, 1979)

Propositional Logics of Programs: Systems, Models, and Complexity. - Rohit Parikh (POPL, 1980)

Definability in Dynamic Logic. - Albert R. Meyer; Rohit Parikh (J. Comput. Syst. Sci., 1981)

Pumping Lemmas for Regular Sets. - Andrzej Ehrenfeucht; Rohit Parikh; Grzegorz Rozenberg (SIAM J. Comput., 1981)

An Elementary Proof of the Completness of PDL. - Dexter Kozen; Rohit Parikh (Theor. Comput. Sci., 1981)

Process Logic: Expressiveness, Decidability, Completeness. - David Harel; Dexter Kozen; Rohit Parikh (J. Comput. Syst. Sci., 1982)

Propositional Logics of Programs: New Directions. - Rohit Parikh (FCT, 1983)

Propositional Game Logic - Rohit Parikh (FOCS, 1983)

A Decision Procedure for the Propositional µ-Calculus. - Dexter Kozen; Rohit Parikh (Logic of Programs, 1983)

A Theory of Probabilistic Programs. - Rohit Parikh; Anne Mahoney (Logic of Programs, 1983)

Some Applications of Topology to Program Semantics. - Rohit Parikh (Math. Syst. Theory, 1983)

Logics of Knowledge, Games and Dynamic Logic. - Rohit Parikh (FSTTCS, 1984)

Distributed Processes and the Logic of Knowledge. - Rohit Parikh; Ramaswamy Ramanujam (Logic of Programs, 1985)

Equations Between Regular Terms and an Application to Process Logic. - Rohit Parikh; Ashok K. Chandra; Joseph Y. Halpern; Albert R. Meyer (SIAM J. Comput., 1985)

Logic and Computation (Panel). - Rohit Parikh (IFIP Congress, 1986)

Levels of Knowledge in Distributed Computing - Rohit Parikh (LICS, 1986)

Some Recent Applications of Knowledge. - Rohit Parikh (FSTTCS, 1987)

Knowledge and the Problem of Logical Omniscience. - Rohit Parikh (ISMIS, 1987)

Meeting of the Association for Symbolic Logic: New York City, May 1987. - Martin Davis; Rohit Parikh (J. Symb. Log., 1988)

Decidability and Undecidability in Distributed Transition Systems. - Rohit Parikh (A Perspective in Theoretical Computer Science, 1989)

Recent Issues in Reasoning about Knowledge. - Rohit Parikh (TARK, 1990)

Dumb-Founded Sets. - Rohit Parikh (Bull. EATCS, 1991)

Monotonic and non-monotonic logics of knowledge. - Rohit Parikh (Fundam. Informaticae, 1991)

A test for fuzzy logic. - Rohit Parikh (SIGACT News, 1991)

Preface - Rohit Parikh (Inf. Comput., 1991)

Topological Reasoning and The Logic of Knowledge. - Lawrence S. Moss; Rohit Parikh (TARK, 1992)

Logical Omniscience. - Rohit Parikh (LCC, 1994)

Knowledge Based Computation (Extended Abstract). - Rohit Parikh (AMAST, 1995)

A Logical Study of Distributed Transition Systems - Kamal Lodaya; Rohit Parikh; Ramaswamy Ramanujam; P. S. Thiagarajan (Inf. Comput., 1995)

Topological Reasoning and the Logic of Knowledge. - Andrew Dabrowski; Lawrence S. Moss; Rohit Parikh (Ann. Pure Appl. Log., 1996)

Propositions, Propositional Attitudes and Belief Revision. - Rohit Parikh (Advances in Modal Logic, 1998)

Length and Structure of Proofs. - Rohit Parikh (Synth., 1998)

An Inconsistency Tolerant Model for Belief Representation and Belief Revision. - Samir Chopra; Rohit Parikh (IJCAI, 1999)

Relevance sensitive belief structures. - Samir Chopra; Rohit Parikh (Ann. Math. Artif. Intell., 2000)

Gems of Theoretical Computer Science, Uwe Schöning and Randall Pruim. - Rohit Parikh (J. Log. Lang. Inf., 2000)

Approximate Belief Revision. - Samir Chopra; Rohit Parikh; Renata Wassermann (Log. J. IGPL, 2001)

Sock Sorting: An Example of a Vague Algorithm. - Rohit Parikh; Laxmi Parida; Vaughan R. Pratt (Log. J. IGPL, 2001)

Relevance Sensitive Non-Monotonic Inference on Belief Sequences. - Samir Chopra; Konstantinos Georgatos; Rohit Parikh (J. Appl. Non Class. Logics, 2001)

States of Knowledge. - Rohit Parikh (WoLLIC, 2002)

Completeness of Certain Bimodal Logics for Subset Spaces. - M. Angela Weiss; Rohit Parikh (Stud Logica, 2002)

Social Software. - Rohit Parikh (Synth., 2002)

A Knowledge Based Semantics of Messages. - Rohit Parikh; Ramaswamy Ramanujam (J. Log. Lang. Inf., 2003)

Editorial Introduction. - Marc Pauly; Rohit Parikh (Stud Logica, 2003)

Game Logic - An Overview. - Marc Pauly; Rohit Parikh (Stud Logica, 2003)

The Logic of Communication Graphs. - Eric Pacuit; Rohit Parikh (DALT, 2004)

Knowledge-Theoretic Properties of Strategic Voting. - Samir Chopra; Eric Pacuit; Rohit Parikh (JELIA, 2004)

Logical omniscience and common knowledge: WHAT do we know and what do WE know? - Rohit Parikh (TARK, 2005)

Finite information logic. - Rohit Parikh; Jouko A. Väänänen (Ann. Pure Appl. Log., 2005)

Conditional Probability and Defeasible Inference. - Horacio L. Arló-Costa; Rohit Parikh (J. Philos. Log., 2005)

The Logic of Knowledge Based Obligation. - Eric Pacuit; Rohit Parikh; Eva Cogan (Synth., 2006)

Some Puzzles About Probability and Probabilistic Conditionals. - Rohit Parikh (LFCS, 2007)

Topology and Epistemic Logic. - Rohit Parikh; Lawrence S. Moss; Chris Steinsvold (Handbook of Spatial Logics, 2007)

Probabilistic Conditionals are Almost Monotonic. - Matthew P. Johnson 001; Rohit Parikh (Rev. Symb. Log., 2008)

Sentences, Belief and Logical Omniscience, or What does Deduction Tell US? - Rohit Parikh (Rev. Symb. Log., 2008)

Knowledge and Structure in Social Algorithms. - Rohit Parikh (RelMiCS, 2009)

Knowledge, Games and Tales from the East. - Rohit Parikh (ICLA, 2009)

Is There a Logic of Society? - Rohit Parikh (Proof, Computation and Agency, 2011)

The Logic of Campaigning. - Walter Dean; Rohit Parikh (ICLA, 2011)

Logic in India - Editorial Introduction. - Hans van Ditmarsch; Rohit Parikh; Ramaswamy Ramanujam (J. Philos. Log., 2011)

Beth definability, interpolation and language splitting. - Rohit Parikh (Synth., 2011)

An Appreciation of Dexter Kozen. - Rohit Parikh (Logic and Program Semantics, 2012)

Choice and Uncertainty in Games. - Rohit Parikh; Çagil Tasdemir; Andreas Witzel (Logic and Program Semantics, 2012)

What Is Social Software? - Rohit Parikh; Marc Pauly (Games, Actions and Social Software, 2012)

On Kripke's Puzzle about Time and Thought. - Rohit Parikh (ICLA, 2013)

The Power of Knowledge in Games. - Rohit Parikh; Çagil Tasdemir; Andreas Witzel (IGTR, 2013)

The Strategy of Campaigning. - Rohit Parikh; Çagil Tasdemir (Fields of Logic and Computation II, 2015)

A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of Belief. - Aránzazu San Ginés; Rohit Parikh (ICLA, 2015)

Why We Speak. - Rohit Parikh (MOL, 2017)

An Epistemic Generalization of Rationalizability. - Rohit Parikh (WoLLIC, 2017)

Logic Without Language. - Rohit Parikh (ICLA, 2019)

Feasibility, sorites and vagueness. - Rohit Parikh (Bull. EATCS, 2020)

Knowledge, behavior, and rationality: rationalizability in epistemic games. - Todd Stambaugh; Rohit Parikh (Arch. Math. Log., 2021)

Logic, co-ordination and the envelope of our beliefs. - Rohit Parikh (Log. J. IGPL, 2023)