default search action
Rohit Parikh
Person information
- affiliation: City University of New York, New York City, NY, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j37]Rohit Parikh:
Logic, co-ordination and the envelope of our beliefs. Log. J. IGPL 31(6): 1069-1077 (2023) - 2021
- [j36]Todd Stambaugh, Rohit Parikh:
Knowledge, behavior, and rationality: rationalizability in epistemic games. Arch. Math. Log. 60(5): 599-623 (2021) - 2020
- [j35]Rohit Parikh:
Feasibility, sorites and vagueness. Bull. EATCS 132 (2020)
2010 – 2019
- 2019
- [c40]Rohit Parikh:
Logic Without Language. ICLA 2019: 173-182 - 2017
- [c39]Rohit Parikh:
Why We Speak. MOL 2017: 68-74 - [c38]Rohit Parikh:
An Epistemic Generalization of Rationalizability. WoLLIC 2017: 295-303 - 2015
- [c37]Rohit Parikh, Çagil Tasdemir:
The Strategy of Campaigning. Fields of Logic and Computation II 2015: 253-260 - [c36]Aránzazu San Ginés, Rohit Parikh:
A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of Belief. ICLA 2015: 146-157 - 2013
- [j34]Rohit Parikh, Çagil Tasdemir, Andreas Witzel:
The Power of Knowledge in Games. IGTR 15(4) (2013) - [c35]Rohit Parikh:
On Kripke's Puzzle about Time and Thought. ICLA 2013: 121-126 - 2012
- [c34]Rohit Parikh, Çagil Tasdemir, Andreas Witzel:
Choice and Uncertainty in Games. Logic and Program Semantics 2012: 244-255 - [c33]Rohit Parikh:
An Appreciation of Dexter Kozen. Logic and Program Semantics 2012: 338-340 - [p4]Rohit Parikh, Marc Pauly:
What Is Social Software? Games, Actions and Social Software 2012: 3-13 - 2011
- [j33]Hans van Ditmarsch, Rohit Parikh, Ramaswamy Ramanujam:
Logic in India - Editorial Introduction. J. Philos. Log. 40(5): 557-561 (2011) - [j32]Rohit Parikh:
Beth definability, interpolation and language splitting. Synth. 179(2): 211-221 (2011) - [c32]Walter Dean, Rohit Parikh:
The Logic of Campaigning. ICLA 2011: 38-49 - [p3]Rohit Parikh:
Is There a Logic of Society? Proof, Computation and Agency 2011: 19-31 - [e3]Johan van Benthem, Amitabha Gupta, Rohit Parikh:
Proof, Computation and Agency - Logic at the Crossroads. Synthese library 352, Springer 2011, ISBN 978-94-007-0079-6 [contents]
2000 – 2009
- 2009
- [c31]Rohit Parikh:
Knowledge and Structure in Social Algorithms. RelMiCS 2009: 1-12 - [c30]Rohit Parikh:
Knowledge, Games and Tales from the East. ICLA 2009: 65-76 - 2008
- [j31]Matthew P. Johnson, Rohit Parikh:
Probabilistic Conditionals are Almost Monotonic. Rev. Symb. Log. 1(1): 73-80 (2008) - [j30]Rohit Parikh:
Sentences, Belief and Logical Omniscience, or What does Deduction Tell US? Rev. Symb. Log. 1(4): 459-476 (2008) - 2007
- [c29]Rohit Parikh:
Some Puzzles About Probability and Probabilistic Conditionals. LFCS 2007: 449-456 - [p2]Rohit Parikh, Lawrence S. Moss, Chris Steinsvold:
Topology and Epistemic Logic. Handbook of Spatial Logics 2007: 299-341 - 2006
- [j29]Eric Pacuit, Rohit Parikh, Eva Cogan:
The Logic of Knowledge Based Obligation. Synth. 149(2): 311-341 (2006) - 2005
- [j28]Rohit Parikh, Jouko A. Väänänen
:
Finite information logic. Ann. Pure Appl. Log. 134(1): 83-93 (2005) - [j27]Horacio L. Arló-Costa, Rohit Parikh:
Conditional Probability and Defeasible Inference. J. Philos. Log. 34(1): 97-119 (2005) - [c28]Rohit Parikh:
Logical omniscience and common knowledge: WHAT do we know and what do WE know? TARK 2005: 62-77 - 2004
- [c27]Eric Pacuit, Rohit Parikh:
The Logic of Communication Graphs. DALT 2004: 256-269 - [c26]Samir Chopra, Eric Pacuit, Rohit Parikh:
Knowledge-Theoretic Properties of Strategic Voting. JELIA 2004: 18-30 - 2003
- [j26]Rohit Parikh, Ramaswamy Ramanujam:
A Knowledge Based Semantics of Messages. J. Log. Lang. Inf. 12(4): 453-467 (2003) - [j25]Marc Pauly, Rohit Parikh:
Editorial Introduction. Stud Logica 75(2): 163-164 (2003) - [j24]Marc Pauly, Rohit Parikh:
Game Logic - An Overview. Stud Logica 75(2): 165-182 (2003) - 2002
- [j23]M. Angela Weiss, Rohit Parikh:
Completeness of Certain Bimodal Logics for Subset Spaces. Stud Logica 71(1): 1-30 (2002) - [j22]Rohit Parikh:
Social Software. Synth. 132(3): 187-211 (2002) - [c25]Rohit Parikh:
States of Knowledge. WoLLIC 2002: 49-60 - 2001
- [j21]Rohit Parikh, Laxmi Parida, Vaughan R. Pratt:
Sock Sorting: An Example of a Vague Algorithm. Log. J. IGPL 9(5): 687-692 (2001) - [j20]Samir Chopra, Rohit Parikh, Renata Wassermann
Approximate Belief Revision. Log. J. IGPL 9(6): 755-768 (2001) - [j19]Samir Chopra, Konstantinos Georgatos
Relevance Sensitive Non-Monotonic Inference on Belief Sequences. J. Appl. Non Class. Logics 11(1-2): 131-150 (2001) - 2000
- [j18]Samir Chopra, Rohit Parikh:
Relevance sensitive belief structures. Ann. Math. Artif. Intell. 28(1-4): 259-285 (2000) - [j17]Rohit Parikh:
Gems of Theoretical Computer Science, Uwe Schöning and Randall Pruim. J. Log. Lang. Inf. 9(1): 131-132 (2000) - [i1]Samir Chopra, Konstantinos Georgatos, Rohit Parikh:
Relevance Sensitive Non-Monotonic Inference on Belief Sequences. CoRR cs.AI/0003021 (2000)
1990 – 1999
- 1999
- [c24]Samir Chopra, Rohit Parikh:
An Inconsistency Tolerant Model for Belief Representation and Belief Revision. IJCAI 1999: 192-199 - 1998
- [j16]Rohit Parikh:
Length and Structure of Proofs. Synth. 114(1): 41-48 (1998) - [c23]Rohit Parikh:
Propositions, Propositional Attitudes and Belief Revision. Advances in Modal Logic 1998: 381-400 - 1996
- [j15]Andrew Dabrowski
Topological Reasoning and the Logic of Knowledge. Ann. Pure Appl. Log. 78(1-3): 73-110 (1996) - 1995
- [j14]Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan:
A Logical Study of Distributed Transition Systems. Inf. Comput. 119(1): 91-118 (1995) - [c22]Rohit Parikh:
Knowledge Based Computation (Extended Abstract). AMAST 1995: 127-132 - 1994
- [c21]Rohit Parikh:
Logical Omniscience. LCC 1994: 22-29 - 1992
- [c20]Lawrence S. Moss, Rohit Parikh:
Topological Reasoning and The Logic of Knowledge. TARK 1992: 95-105 - 1991
- [j13]Rohit Parikh:
Dumb-Founded Sets. Bull. EATCS 43: 183 (1991) - [j12]Rohit Parikh:
Monotonic and non-monotonic logics of knowledge. Fundam. Informaticae 15(3-4): 255-274 (1991) - [j11]Rohit Parikh:
Preface. Inf. Comput. 93(1): iii (1991) - [j10]Rohit Parikh:
A test for fuzzy logic. SIGACT News 22(3): 49-50 (1991) - 1990
- [c19]Rohit Parikh:
Recent Issues in Reasoning about Knowledge. TARK 1990: 3-10 - [e2]Rohit Parikh:
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1990. Morgan Kaufmann 1990, ISBN 1-55860-105-8 [contents]
1980 – 1989
- 1989
- [p1]Rohit Parikh:
Decidability and Undecidability in Distributed Transition Systems. A Perspective in Theoretical Computer Science 1989: 199-209 - 1988
- [j9]Martin Davis, Rohit Parikh:
Meeting of the Association for Symbolic Logic: New York City, May 1987. J. Symb. Log. 53(4): 1270-1274 (1988) - 1987
- [c18]Rohit Parikh:
Some Recent Applications of Knowledge. FSTTCS 1987: 528-539 - [c17]Rohit Parikh:
Knowledge and the Problem of Logical Omniscience. ISMIS 1987: 432-439 - 1986
- [c16]Rohit Parikh:
Logic and Computation (Panel). IFIP Congress 1986: 391-392 - [c15]Rohit Parikh:
Levels of Knowledge in Distributed Computing. LICS 1986: 314-321 - 1985
- [j8]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) - [c14]Rohit Parikh, Ramaswamy Ramanujam:
Distributed Processes and the Logic of Knowledge. Logic of Programs 1985: 256-268 - [e1]Rohit Parikh:
Logics of Programs, Conference, Brooklyn College, New York, NY, USA, June 17-19, 1985, Proceedings. Lecture Notes in Computer Science 193, Springer 1985, ISBN 3-540-15648-8 [contents] - 1984
- [c13]Rohit Parikh:
Logics of Knowledge, Games and Dynamic Logic. FSTTCS 1984: 202-222 - 1983
- [j7]Rohit Parikh:
Some Applications of Topology to Program Semantics. Math. Syst. Theory 16(2): 111-131 (1983) - [c12]Rohit Parikh:
Propositional Logics of Programs: New Directions. FCT 1983: 347-359 - [c11]Rohit Parikh:
Propositional Game Logic. FOCS 1983: 195-200 - [c10]Dexter Kozen, Rohit Parikh:
A Decision Procedure for the Propositional µ-Calculus. Logic of Programs 1983: 313-325 - [c9]Rohit Parikh, Anne Mahoney:
A Theory of Probabilistic Programs. Logic of Programs 1983: 396-402 - 1982
- [j6]David Harel, Dexter Kozen, Rohit Parikh:
Process Logic: Expressiveness, Decidability, Completeness. J. Comput. Syst. Sci. 25(2): 144-170 (1982) - 1981
- [j5]Albert R. Meyer
Definability in Dynamic Logic. J. Comput. Syst. Sci. 23(2): 279-298 (1981) - [j4]Andrzej Ehrenfeucht, Rohit Parikh, Grzegorz Rozenberg:
Pumping Lemmas for Regular Sets. SIAM J. Comput. 10(3): 536-541 (1981) - [j3]Dexter Kozen, Rohit Parikh:
An Elementary Proof of the Completness of PDL. Theor. Comput. Sci. 14: 113-118 (1981) - [c8]Rohit Parikh:
Some Applications of Topology to Program Semantics. Logic of Programs 1981: 375-386 - [c7]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 - 1980
- [c6]David Harel, Dexter Kozen, Rohit Parikh:
Process Logic: Expressiveness, Decidability, Completeness. FOCS 1980: 129-142 - [c5]Rohit Parikh:
Propositional Logics of Programs: Systems, Models, and Complexity. POPL 1980: 186-192 - [c4]Albert R. Meyer, Rohit Parikh:
Definability in Dynamic Logic. STOC 1980: 1-7
1970 – 1979
- 1979
- [c3]Rohit Parikh:
Propositional Dynamic Logics of Programs: a Survey. Logic of Programs 1979: 102-144 - 1978
- [c2]Rohit Parikh:
A Decidability Result for a Second Order Process Logic. FOCS 1978: 177-183 - [c1]Rohit Parikh:
The Completeness of Propositional Dynamic Logic. MFCS 1978: 403-415 - 1971
- [j2]Rohit Parikh:
Existence and Feasibility in Arithmetic. J. Symb. Log. 36(3): 494-508 (1971)
1960 – 1969
- 1966
- [j1]Rohit Parikh:
On Context-Free Languages. J. ACM 13(4): 570-581 (1966)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: