Rohit Parikh

According to our database, Rohit Parikh authored at least 77 papers between 1966 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Logic, co-ordination and the envelope of our beliefs.

Rohit Parikh

Log. J. IGPL, November, 2023

2021

Knowledge, behavior, and rationality: rationalizability in epistemic games.

Todd Stambaugh, Rohit Parikh

Arch. Math. Log., 2021

2020

Feasibility, sorites and vagueness.

Rohit Parikh

Bull. EATCS, 2020

2019

Logic Without Language.

Rohit Parikh

Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019

2017

An Epistemic Generalization of Rationalizability.

Rohit Parikh

Proceedings of the Logic, Language, Information, and Computation, 2017

Why We Speak.

Rohit Parikh

Proceedings of the 15th Meeting on the Mathematics of Language, 2017

2015

A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of Belief.

Aránzazu San Ginés, Rohit Parikh

Proceedings of the Logic and Its Applications - 6th Indian Conference, 2015

The Strategy of Campaigning.

Rohit Parikh, Çagil Tasdemir

Proceedings of the Fields of Logic and Computation II, 2015

2013

The Power of Knowledge in Games.

Rohit Parikh, Çagil Tasdemir, Andreas Witzel

IGTR, 2013

On Kripke's Puzzle about Time and Thought.

Rohit Parikh

Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

2012

What Is Social Software?

Rohit Parikh, Marc Pauly

Proceedings of the Games, Actions and Social Software - Multidisciplinary Aspects, 2012

Choice and Uncertainty in Games.

Rohit Parikh, Çagil Tasdemir, Andreas Witzel

Proceedings of the Logic and Program Semantics, 2012

An Appreciation of Dexter Kozen.

Rohit Parikh

Proceedings of the Logic and Program Semantics, 2012

2011

Beth definability, interpolation and language splitting.

Rohit Parikh

Synth., 2011

Logic in India - Editorial Introduction.

Hans van Ditmarsch, Rohit Parikh, Ramaswamy Ramanujam

J. Philos. Log., 2011

The Logic of Campaigning.

Walter Dean, Rohit Parikh

Proceedings of the Logic and Its Applications - 4th Indian Conference, 2011

Is There a Logic of Society?

Rohit Parikh

Proceedings of the Proof, Computation and Agency - Logic at the Crossroads., 2011

2009

Knowledge, Games and Tales from the East.

Rohit Parikh

Proceedings of the Logic and Its Applications, Third Indian Conference, 2009

Knowledge and Structure in Social Algorithms.

Rohit Parikh

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

Sentences, Belief and Logical Omniscience, or What does Deduction Tell US?

Rohit Parikh

Rev. Symb. Log., 2008

Probabilistic Conditionals are Almost Monotonic.

Matthew P. Johnson, Rohit Parikh

Rev. Symb. Log., 2008

2007

Topology and Epistemic Logic.

Rohit Parikh, Lawrence S. Moss, Chris Steinsvold

Proceedings of the Handbook of Spatial Logics, 2007

Some Puzzles About Probability and Probabilistic Conditionals.

Rohit Parikh

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

2006

The Logic of Knowledge Based Obligation.

Eric Pacuit, Rohit Parikh, Eva Cogan

Synth., 2006

2005

Conditional Probability and Defeasible Inference.

Horacio L. Arló-Costa, Rohit Parikh

J. Philos. Log., 2005

Finite information logic.

Rohit Parikh, Jouko A. Väänänen

Ann. Pure Appl. Log., 2005

Logical omniscience and common knowledge: WHAT do we know and what do WE know?

Rohit Parikh

Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), 2005

2004

Knowledge-Theoretic Properties of Strategic Voting.

Samir Chopra, Eric Pacuit, Rohit Parikh

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

The Logic of Communication Graphs.

Eric Pacuit, Rohit Parikh

Proceedings of the Declarative Agent Languages and Technologies II, 2004

2003

Game Logic - An Overview.

Marc Pauly, Rohit Parikh

Stud Logica, 2003

Editorial Introduction.

Marc Pauly, Rohit Parikh

Stud Logica, 2003

A Knowledge Based Semantics of Messages.

Rohit Parikh, Ramaswamy Ramanujam

J. Log. Lang. Inf., 2003

2002

Social Software.

Rohit Parikh

Synth., 2002

Completeness of Certain Bimodal Logics for Subset Spaces.

M. Angela Weiss, Rohit Parikh

Stud Logica, 2002

States of Knowledge.

Rohit Parikh

Proceedings of the 9th Workhop on Logic, Language, Information and Computation, 2002

2001

Relevance Sensitive Non-Monotonic Inference on Belief Sequences.

Samir Chopra, Konstantinos Georgatos, Rohit Parikh

J. Appl. Non Class. Logics, 2001

Sock Sorting: An Example of a Vague Algorithm.

Rohit Parikh, Laxmi Parida, Vaughan R. Pratt

Log. J. IGPL, 2001

Approximate Belief Revision.

Samir Chopra, Rohit Parikh, Renata Wassermann

Log. J. IGPL, 2001

2000

Gems of Theoretical Computer Science, Uwe Schöning and Randall Pruim.

Rohit Parikh

J. Log. Lang. Inf., 2000

Relevance sensitive belief structures.

Samir Chopra, Rohit Parikh

Ann. Math. Artif. Intell., 2000

1999

An Inconsistency Tolerant Model for Belief Representation and Belief Revision.

Samir Chopra, Rohit Parikh

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998

Length and Structure of Proofs.

Rohit Parikh

Synth., 1998

Propositions, Propositional Attitudes and Belief Revision.

Rohit Parikh

Proceedings of the Advances in Modal Logic 2, 1998

1996

Topological Reasoning and the Logic of Knowledge.

Andrew Dabrowski, Lawrence S. Moss, Rohit Parikh

Ann. Pure Appl. Log., 1996

1995

A Logical Study of Distributed Transition Systems

Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan

Inf. Comput., May, 1995

Knowledge Based Computation (Extended Abstract).

Rohit Parikh

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

Logical Omniscience.

Rohit Parikh

Proceedings of the Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, 1994

1992

Topological Reasoning and The Logic of Knowledge.

Lawrence S. Moss, Rohit Parikh

Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, 1992

1991

Preface

Rohit Parikh

Inf. Comput., July, 1991

A test for fuzzy logic.

Rohit Parikh

SIGACT News, 1991

Monotonic and non-monotonic logics of knowledge.

Rohit Parikh

Fundam. Informaticae, 1991

Dumb-Founded Sets.

Rohit Parikh

Bull. EATCS, 1991

1990

Recent Issues in Reasoning about Knowledge.

Rohit Parikh

Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, 1990

1989

Decidability and Undecidability in Distributed Transition Systems.

Rohit Parikh

Proceedings of the A Perspective in Theoretical Computer Science, 1989

1988

Meeting of the Association for Symbolic Logic: New York City, May 1987.

Martin Davis, Rohit Parikh

J. Symb. Log., 1988

1987

Knowledge and the Problem of Logical Omniscience.

Rohit Parikh

Proceedings of the Methodologies for Intelligent Systems, 1987

Some Recent Applications of Knowledge.

Rohit Parikh

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1987

1986

Levels of Knowledge in Distributed Computing

Rohit Parikh

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

Logic and Computation (Panel).

Rohit Parikh

Proceedings of the Information Processing 86, 1986

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

Distributed Processes and the Logic of Knowledge.

Rohit Parikh, Ramaswamy Ramanujam

Proceedings of the Logics of Programs, 1985

1984

Logics of Knowledge, Games and Dynamic Logic.

Rohit Parikh

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984

1983

Some Applications of Topology to Program Semantics.

Rohit Parikh

Math. Syst. Theory, 1983

A Theory of Probabilistic Programs.

Rohit Parikh, Anne Mahoney

Proceedings of the Logics of Programs, 1983

A Decision Procedure for the Propositional µ-Calculus.

Dexter Kozen, Rohit Parikh

Proceedings of the Logics of Programs, 1983

Propositional Game Logic

Rohit Parikh

Proceedings of the 24th Annual Symposium on Foundations of Computer Science, 1983

Propositional Logics of Programs: New Directions.

Rohit Parikh

Proceedings of the Fundamentals of Computation Theory, 1983

1982

Process Logic: Expressiveness, Decidability, Completeness.

David Harel, Dexter Kozen, Rohit Parikh

J. Comput. Syst. Sci., 1982

1981

An Elementary Proof of the Completness of PDL.

Dexter Kozen, Rohit Parikh

Theor. Comput. Sci., 1981

Pumping Lemmas for Regular Sets.

Andrzej Ehrenfeucht, Rohit Parikh, Grzegorz Rozenberg

SIAM J. Comput., 1981

Definability in Dynamic Logic.

Albert R. Meyer, Rohit Parikh

J. Comput. Syst. Sci., 1981

1980

Propositional Logics of Programs: Systems, Models, and Complexity.

Rohit Parikh

Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980

1979

Propositional Dynamic Logics of Programs: a Survey.

Rohit Parikh

Proceedings of the Logics of Programs, Workshop, ETH Zürich, May-July 1979, 1979

1978

The Completeness of Propositional Dynamic Logic.

Rohit Parikh

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

A Decidability Result for a Second Order Process Logic

Rohit Parikh

Proceedings of the 19th Annual Symposium on Foundations of Computer Science, 1978

1971

Existence and Feasibility in Arithmetic.

Rohit Parikh

J. Symb. Log., 1971

1966

On Context-Free Languages.

Rohit Parikh

J. ACM, 1966