Follow
Rohit Parikh
Rohit Parikh
Distinguished Professor, CS, Math, Philosophy, Brooklyn College and CUNY Graduate Center
Verified email at gc.cuny.edu
Title
Cited by
Cited by
Year
On context-free languages
RJ Parikh
Journal of the ACM (JACM) 13 (4), 570-581, 1966
10251966
Existence and feasibility in arithmetic
R Parikh
The journal of symbolic logic 36 (3), 494-508, 1971
4311971
The logic of games and its applications
R Parikh
North-Holland Mathematics Studies 102, 111-139, 1985
3241985
An elementary proof of the completeness of PDL
D Kozen, R Parikh
Theoretical Computer Science 14 (1), 113-118, 1981
2431981
Process logic: Expressiveness, decidability, completeness
D Harel, D Kozen, R Parikh
Journal of computer and system sciences 25 (2), 144-170, 1982
2421982
A knowledge based semantics of messages
R Parikh, R Ramanujam
Journal of Logic, Language and Information 12, 453-467, 2003
2332003
Distributed processes and the logic of knowledge: Preliminary report
R Parikh, R Ramanujam
Workshop on Logic of Programs, 256-268, 1985
2181985
Social software
R Parikh
Synthese 132, 187-211, 2002
2162002
Beliefs, belief revision, and splitting languages
R Parikh
Logic, language and computation 2 (96), 266-268, 1999
2141999
Communication, consensus, and knowledge
R Parikh, P Krasucki
Journal of Economic Theory 52 (1), 178-189, 1990
2111990
Topological reasoning and the logic of knowledge
A Dabrowski, LS Moss, R Parikh
Annals of Pure and Applied Logic 78 (1-3), 73-110, 1996
1721996
Well-partial orderings and hierarchies
DHJ de Jongh, R Parikh
Indagationes Mathematicae (Proceedings) 80 (3), 195-207, 1977
1671977
Results of a randomized phase 2 study of PD 0332991, a cyclin-dependent kinase (CDK) 4/6 inhibitor, in combination with letrozole vs letrozole alone for first-line treatment of …
RS Finn, JP Crown, K Boer, I Lang, RJ Parikh, A Breazna, SN Ho, ST Kim, ...
Annals of Oncology 23, 43-43, 2012
1612012
Game logic-an overview
M Pauly, R Parikh
Studia Logica 75, 165-182, 2003
1612003
Language generating devices
RJ Parikh
Quarterly Progress Report 60 (199-212), 679, 1961
1551961
Some results on the length of proofs
RJ Parikh
Transactions of the American Mathematical Society 177, 29-36, 1973
1371973
Topological Reasoning and The Logic of Knowledge.
LS Moss, R Parikh
TARK 92, 95-105, 1992
1311992
The completeness of propositional dynamic logic
R Parikh
International Symposium on Mathematical Foundations of Computer Science, 403-415, 1978
1201978
The logic of knowledge based obligation
E Pacuit, R Parikh, E Cogan
Synthese 149, 311-341, 2006
1152006
Vagueness and utility: The semantics of common nouns
R Parikh
Linguistics and Philosophy, 521-535, 1994
1031994
The system can't perform the operation now. Try again later.
Articles 1–20