Rohit Parikh

Publication Activity (10 Years)

Years Active: 1966-2023
Publications (10 Years): 6

Top Topics

Quantifier Free

Propositional Dynamic Logic

Highly Expressive

Top Venues

Publications

Rohit Parikh
Logic, co-ordination and the envelope of our beliefs. Log. J. IGPL 31 (6) (2023)
Todd Stambaugh, Rohit Parikh
Knowledge, behavior, and rationality: rationalizability in epistemic games. Arch. Math. Log. 60 (5) (2021)
Rohit Parikh
Feasibility, sorites and vagueness. Bull. EATCS 132 (2020)
Rohit Parikh
Logic Without Language. ICLA (2019)
Rohit Parikh
Why We Speak. MOL (2017)
Rohit Parikh
An Epistemic Generalization of Rationalizability. WoLLIC (2017)
Aránzazu San Ginés, Rohit Parikh
A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of Belief. ICLA (2015)
Rohit Parikh, Çagil Tasdemir
The Strategy of Campaigning. Fields of Logic and Computation II (2015)
Rohit Parikh, Çagil Tasdemir, Andreas Witzel
The Power of Knowledge in Games. IGTR 15 (4) (2013)
Rohit Parikh
On Kripke's Puzzle about Time and Thought. ICLA (2013)
Rohit Parikh
An Appreciation of Dexter Kozen. Logic and Program Semantics (2012)
Rohit Parikh, Çagil Tasdemir, Andreas Witzel
Choice and Uncertainty in Games. Logic and Program Semantics (2012)
Walter Dean, Rohit Parikh
The Logic of Campaigning. ICLA (2011)
Hans van Ditmarsch, Rohit Parikh, Ramaswamy Ramanujam
Logic in India - Editorial Introduction. J. Philos. Log. 40 (5) (2011)
Rohit Parikh
Beth definability, interpolation and language splitting. Synth. 179 (2) (2011)
Rohit Parikh
Knowledge and Structure in Social Algorithms. RelMiCS (2009)
Rohit Parikh
Knowledge, Games and Tales from the East. ICLA (2009)
Matthew P. Johnson, Rohit Parikh
Probabilistic Conditionals are Almost Monotonic. Rev. Symb. Log. 1 (1) (2008)
Rohit Parikh
Sentences, Belief and Logical Omniscience, or What does Deduction Tell US? Rev. Symb. Log. 1 (4) (2008)
Rohit Parikh
Some Puzzles About Probability and Probabilistic Conditionals. LFCS (2007)
Eric Pacuit, Rohit Parikh, Eva Cogan
The Logic of Knowledge Based Obligation. Synth. 149 (2) (2006)
Rohit Parikh, Jouko A. Väänänen
Finite information logic. Ann. Pure Appl. Log. 134 (1) (2005)
Horacio L. Arló-Costa, Rohit Parikh
Conditional Probability and Defeasible Inference. J. Philos. Log. 34 (1) (2005)
Rohit Parikh
Logical omniscience and common knowledge: WHAT do we know and what do WE know? TARK (2005)
Eric Pacuit, Rohit Parikh
The Logic of Communication Graphs. DALT (2004)
Samir Chopra, Eric Pacuit, Rohit Parikh
Knowledge-Theoretic Properties of Strategic Voting. JELIA (2004)
Marc Pauly, Rohit Parikh
Editorial Introduction. Stud Logica 75 (2) (2003)
Marc Pauly, Rohit Parikh
Game Logic - An Overview. Stud Logica 75 (2) (2003)
Rohit Parikh, Ramaswamy Ramanujam
A Knowledge Based Semantics of Messages. J. Log. Lang. Inf. 12 (4) (2003)
M. Angela Weiss, Rohit Parikh
Completeness of Certain Bimodal Logics for Subset Spaces. Stud Logica 71 (1) (2002)
Rohit Parikh
Social Software. Synth. 132 (3) (2002)
Rohit Parikh
States of Knowledge. Electron. Notes Theor. Comput. Sci. 67 (2002)
Samir Chopra, Rohit Parikh, Renata Wassermann
Approximate Belief Revision. Log. J. IGPL 9 (6) (2001)
Rohit Parikh, Laxmi Parida, Vaughan R. Pratt
Sock Sorting: An Example of a Vague Algorithm. Log. J. IGPL 9 (5) (2001)
Samir Chopra, Konstantinos Georgatos, Rohit Parikh
Relevance Sensitive Non-Monotonic Inference on Belief Sequences. J. Appl. Non Class. Logics 11 (1-2) (2001)
Samir Chopra, Konstantinos Georgatos, Rohit Parikh
Relevance Sensitive Non-Monotonic Inference on Belief Sequences CoRR (2000)
Rohit Parikh
Gems of Theoretical Computer Science, Uwe Schöning and Randall Pruim. J. Log. Lang. Inf. 9 (1) (2000)
Samir Chopra, Rohit Parikh
Relevance sensitive belief structures. Ann. Math. Artif. Intell. 28 (1-4) (2000)
Samir Chopra, Rohit Parikh
An Inconsistency Tolerant Model for Belief Representation and Belief Revision. IJCAI (1999)
Rohit Parikh
Length and Structure of Proofs. Synth. 114 (1) (1998)
Rohit Parikh
Propositions, Propositional Attitudes and Belief Revision. Advances in Modal Logic (1998)
Andrew Dabrowski, Lawrence S. Moss, Rohit Parikh
Topological Reasoning and the Logic of Knowledge. Ann. Pure Appl. Log. 78 (1-3) (1996)
Rohit Parikh
Knowledge Based Computation (Extended Abstract). AMAST (1995)
Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan
A Logical Study of Distributed Transition Systems Inf. Comput. 119 (1) (1995)
Rohit Parikh
Logical Omniscience. LCC (1994)
Lawrence S. Moss, Rohit Parikh
Topological Reasoning and The Logic of Knowledge. TARK (1992)
Rohit Parikh
Dumb-Founded Sets. Bull. EATCS 43 (1991)
Rohit Parikh
Preface Inf. Comput. 93 (1) (1991)
Rohit Parikh
Monotonic and non-monotonic logics of knowledge. Fundam. Informaticae 15 (3-4) (1991)
Rohit Parikh
A test for fuzzy logic. SIGACT News 22 (3) (1991)
Rohit Parikh
Recent Issues in Reasoning about Knowledge. TARK (1990)
Martin Davis, Rohit Parikh
Meeting of the Association for Symbolic Logic: New York City, May 1987. J. Symb. Log. 53 (4) (1988)
Rohit Parikh
Some Recent Applications of Knowledge. FSTTCS (1987)
Rohit Parikh
Knowledge and the Problem of Logical Omniscience. ISMIS (1987)
Rohit Parikh
Levels of Knowledge in Distributed Computing LICS (1986)
Rohit Parikh
Logic and Computation (Panel). IFIP Congress (1986)
Rohit Parikh, Ashok K. Chandra, Joseph Y. Halpern, Albert R. Meyer
Equations Between Regular Terms and an Application to Process Logic. SIAM J. Comput. 14 (4) (1985)
Rohit Parikh, Ramaswamy Ramanujam
Distributed Processes and the Logic of Knowledge. Logic of Programs (1985)
Rohit Parikh
Logics of Knowledge, Games and Dynamic Logic. FSTTCS (1984)
Rohit Parikh
Some Applications of Topology to Program Semantics. Math. Syst. Theory 16 (2) (1983)
Rohit Parikh
Propositional Game Logic FOCS (1983)
Dexter Kozen, Rohit Parikh
A Decision Procedure for the Propositional µ-Calculus. Logic of Programs (1983)
Rohit Parikh, Anne Mahoney
A Theory of Probabilistic Programs. Logic of Programs (1983)
Rohit Parikh
Propositional Logics of Programs: New Directions. FCT (1983)
David Harel, Dexter Kozen, Rohit Parikh
Process Logic: Expressiveness, Decidability, Completeness. J. Comput. Syst. Sci. 25 (2) (1982)
Rohit Parikh
Some Applications of Topology to Program Semantics. Logic of Programs (1981)
Albert R. Meyer, Rohit Parikh
Definability in Dynamic Logic. J. Comput. Syst. Sci. 23 (2) (1981)
Dexter Kozen, Rohit Parikh
An Elementary Proof of the Completness of PDL. Theor. Comput. Sci. 14 (1981)
Ashok K. Chandra, Joseph Y. Halpern, Albert R. Meyer, Rohit Parikh
Equations between Regular Terms and an Application to Process Logic STOC (1981)
Andrzej Ehrenfeucht, Rohit Parikh, Grzegorz Rozenberg
Pumping Lemmas for Regular Sets. SIAM J. Comput. 10 (3) (1981)
Albert R. Meyer, Rohit Parikh
Definability in Dynamic Logic STOC (1980)
David Harel, Dexter Kozen, Rohit Parikh
Process Logic: Expressiveness, Decidability, Completeness FOCS (1980)
Rohit Parikh
Propositional Logics of Programs: Systems, Models, and Complexity. POPL (1980)
Rohit Parikh
Propositional Dynamic Logics of Programs: a Survey. Logic of Programs (1979)
Rohit Parikh
The Completeness of Propositional Dynamic Logic. MFCS (1978)
Rohit Parikh
A Decidability Result for a Second Order Process Logic FOCS (1978)
Rohit Parikh
Existence and Feasibility in Arithmetic. J. Symb. Log. 36 (3) (1971)
Rohit Parikh
On Context-Free Languages. J. ACM 13 (4) (1966)