Rohit Parikh

Rohit Parikh: On Kripke's Puzzle about Time and Thought. ICLA 2013: 121-126

Rohit Parikh, Çagil Tasdemir, Andreas Witzel: Choice and Uncertainty in Games. Logic and Program Semantics 2012: 244-255

Rohit Parikh: An Appreciation of Dexter Kozen. Logic and Program Semantics 2012: 338-340

Johan van Benthem, Amitabha Gupta, Rohit Parikh (Eds.): Proof, Computation and Agency - Logic at the Crossroads. Synthese library 352, Springer 2011, isbn 978-94-007-0079-6

Hans P. van Ditmarsch, Rohit Parikh, Ramaswamy Ramanujam: Logic in India - Editorial Introduction. J. Philosophical Logic 40(5): 557-561 (2011)

Rohit Parikh: Beth definability, interpolation and language splitting. Synthese 179(2): 211-221 (2011)

Rohit Parikh: Is There a Logic of Society? Proof, Computation and Agency 2011: 19-31

Walter Dean, Rohit Parikh: The Logic of Campaigning. ICLA 2011: 38-49

Rohit Parikh: Knowledge and Structure in Social Algorithms. RelMiCS 2009: 1-12

Rohit Parikh: Knowledge, Games and Tales from the East. ICLA 2009: 65-76

Rohit Parikh: Some Puzzles About Probability and Probabilistic Conditionals. LFCS 2007: 449-456

Rohit Parikh, Lawrence S. Moss, Chris Steinsvold: Topology and Epistemic Logic. Handbook of Spatial Logics 2007: 299-341

Eric Pacuit, Rohit Parikh, Eva Cogan: The Logic of Knowledge Based Obligation. Synthese 149(2): 311-341 (2006)

Rohit Parikh, Jouko A. Väänänen: Finite information logic. Ann. Pure Appl. Logic 134(1): 83-93 (2005)

Horacio L. Arló-Costa, Rohit Parikh: Conditional Probability and Defeasible Inference. J. Philosophical Logic 34(1): 97-119 (2005)

Rohit Parikh: Logical omniscience and common knowledge: WHAT do we know and what do WE know? TARK 2005: 62-77

Eric Pacuit, Rohit Parikh: The Logic of Communication Graphs. DALT 2004: 256-269

Samir Chopra, Eric Pacuit, Rohit Parikh: Knowledge-Theoretic Properties of Strategic Voting. JELIA 2004: 18-30

Rohit Parikh, Ramaswamy Ramanujam: A Knowledge Based Semantics of Messages. Journal of Logic, Language and Information 12(4): 453-467 (2003)

Marc Pauly, Rohit Parikh: Editorial Introduction. Studia Logica 75(2): 163-164 (2003)

Marc Pauly, Rohit Parikh: Game Logic - An Overview. Studia Logica 75(2): 165-182 (2003)

Rohit Parikh: States of Knowledge. Electr. Notes Theor. Comput. Sci. 67: 49-60 (2002)

M. Angela Weiss, Rohit Parikh: Completeness of Certain Bimodal Logics for Subset Spaces. Studia Logica 71(1): 1-30 (2002)

Rohit Parikh, Laxmi Parida, Vaughan R. Pratt: Sock Sorting: An Example of a Vague Algorithm. Logic Journal of the IGPL 9(5): 687-692 (2001)

Samir Chopra, Rohit Parikh, Renata Wassermann: Approximate Belief Revision. Logic Journal of the IGPL 9(6): 755-768 (2001)

Samir Chopra, Konstantinos Georgatos, Rohit Parikh: Relevance Sensitive Non-Monotonic Inference on Belief Sequences. Journal of Applied Non-Classical Logics 11(1-2): 131-150 (2001)

Samir Chopra, Rohit Parikh: Relevance sensitive belief structures. Ann. Math. Artif. Intell. 28(1-4): 259-285 (2000)

Rohit Parikh: Gems of Theoretical Computer Science, Uwe Schöning and Randall Pruim. Journal of Logic, Language and Information 9(1): 131-132 (2000)

Samir Chopra, Konstantinos Georgatos, Rohit Parikh: Relevance Sensitive Non-Monotonic Inference on Belief Sequences. CoRR cs.AI/0003021 (2000)

Samir Chopra, Rohit Parikh: An Inconsistency Tolerant Model for Belief Representation and Belief Revision. IJCAI 1999: 192-199

Rohit Parikh: Propositions, Propositional Attitudes and Belief Revision. Advances in Modal Logic 1998: 381-400

Andrew Dabrowski, Lawrence S. Moss, Rohit Parikh: Topological Reasoning and the Logic of Knowledge. Ann. Pure Appl. Logic 78(1-3): 73-110 (1996)

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

Rohit Parikh: Knowledge Based Computation (Extended Abstract). AMAST 1995: 127-132

Rohit Parikh: Logical Omniscience. LCC 1994: 22-29

Lawrence S. Moss, Rohit Parikh: Topological Reasoning and The Logic of Knowledge. TARK 1992: 95-105

Rohit Parikh: Dumb-Founded Sets. Bulletin of the EATCS 43: 183 (1991)

Rohit Parikh: Monotonic and non-monotonic logics of knowledge. Fundam. Inform. 15(3-4): 255-274 (1991)

Rohit Parikh: Preface. Inf. Comput. 93(1): iii (1991)

Rohit Parikh: Recent Issues in Reasoning about Knowledge. TARK 1990: 3-10

Rohit Parikh (Ed.): Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, March 1990. Morgan Kaufmann 1990, isbn 1-55860-105-8

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

Rohit Parikh: Some Recent Applications of Knowledge. FSTTCS 1987: 528-539

Rohit Parikh: Knowledge and the Problem of Logical Omniscience. ISMIS 1987: 432-439

Rohit Parikh: Logic and Computation (Panel). IFIP Congress 1986: 391-392

Rohit Parikh: Levels of Knowledge in Distributed Computing. LICS 1986: 314-321

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): 935-942 (1985)

Rohit Parikh, Ramaswamy Ramanujam: Distributed Processes and the Logic of Knowledge. Logic of Programs 1985: 256-268

Rohit Parikh (Ed.): Logics of Programs, Conference, Brooklyn College, June 17-19, 1985, Proceedings. Lecture Notes in Computer Science 193, Springer 1985, isbn 3-540-15648-8

Rohit Parikh: Logics of Knowledge, Games and Dynamic Logic. FSTTCS 1984: 202-222

Rohit Parikh: Some Applications of Topology to Program Semantics. Mathematical Systems Theory 16(2): 111-131 (1983)

Rohit Parikh: Propositional Logics of Programs: New Directions. FCT 1983: 347-359

Rohit Parikh: Propositional Game Logic. FOCS 1983: 195-200

Dexter Kozen, Rohit Parikh: A Decision Procedure for the Propositional µ-Calculus. Logic of Programs 1983: 313-325

Rohit Parikh, Anne Mahoney: A Theory of Probabilistic Programs. Logic of Programs 1983: 396-402

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

Albert R. Meyer, Rohit Parikh: Definability in Dynamic Logic. J. Comput. Syst. Sci. 23(2): 279-298 (1981)

Andrzej Ehrenfeucht, Rohit Parikh, Grzegorz Rozenberg: Pumping Lemmas for Regular Sets. SIAM J. Comput. 10(3): 536-541 (1981)

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

Rohit Parikh: Some Applications of Topology to Program Semantics. Logic of Programs 1981: 375-386

Ashok K. Chandra, Joseph Y. Halpern, Albert R. Meyer, Rohit Parikh: Equations between Regular Terms and an Application to Process Logic. STOC 1981: 384-390

David Harel, Dexter Kozen, Rohit Parikh: Process Logic: Expressiveness, Decidability, Completeness. FOCS 1980: 129-142

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

Albert R. Meyer, Rohit Parikh: Definability in Dynamic Logic. STOC 1980: 1-7

Rohit Parikh: Propositional Dynamic Logics of Programs: a Survey. Logic of Programs 1979: 102-144

Rohit Parikh: A Decidability Result for a Second Order Process Logic. FOCS 1978: 177-183

Rohit Parikh: The Completeness of Propositional Dynamic Logic. MFCS 1978: 403-415

Rohit Parikh: Existence and Feasibility in Arithmetic. J. Symb. Log. 36(3): 494-508 (1971)

Rohit Parikh: On Context-Free Languages. J. ACM 13(4): 570-581 (1966)