×
Compute Distance To:
Author ID: parikh.rohit Recent zbMATH articles by "Parikh, Rohit"
Published as: Parikh, Rohit; Parikh, R.
External Links: MGP · Wikidata · GND · IdRef
Documents Indexed: 79 Publications since 1967, including 2 Books
4 Contributions as Editor · 2 Further Contributions
Biographic References: 5 Publications
Co-Authors: 34 Co-Authors with 39 Joint Publications
709 Co-Co-Authors
all top 5

Co-Authors

44 single-authored
5 Ramanujam, Ramaswamy
4 Chopra, Samir
4 Kozen, Dexter C.
4 Pacuit, Eric
3 Meyer, Albert Ronald
3 Taşdemir, Çağıl
2 Krasucki, Paul
2 Moss, Lawrence S.
2 Parnes, Milton N.
2 Pratt, Vaughan R.
2 Witzel, Andreas
1 Angluin, Dana
1 Başkent, Can
1 Bloniarz, Peter A.
1 Borodin, Allan B.
1 Brent, Richard Peirce
1 Brown, Donna J.
1 Carlson, David A.
1 Chandra, Ashok K.
1 Chazelle, Bernard
1 Cogan, Eva H.
1 Cook, Stephen Arthur
1 Cypher, A.
1 Dabrowski, Andrew
1 de Jongh, Dick H. J.
1 Dean, Walter
1 DeMillo, Richard A.
1 Dobkin, David P.
1 Ehrenfeucht, Andrzej
1 Ehrig, Hartmut
1 Fagin, Ronald
1 Filotti, I. S.
1 Fischer, Michael J.
1 Frederickson, Greg N.
1 Georgatos, Konstantinos
1 Guibas, Leonidas John
1 Gupta, Amitabha
1 Halpern, Joe
1 Harel, David
1 Heintz, Joos
1 Hoffmann, Christoph M.
1 Hong, Jiawei
1 Ibarra, Oscar H.
1 Ja’Ja’, Joseph F.
1 Johnson, Donald B.
1 Johnson, Matthew P.
1 Joseph, Deborah
1 Kannan, Ravindran
1 Karp, Richard Manning
1 Kung, H. T.
1 Leininger, Brian S.
1 Lichtenstein, David
1 Lipton, Richard J.
1 Lloyd, Errol L.
1 Lodaya, Kamal
1 Lynch, Nancy Ann
1 Mahoney, Anne
1 Mahr, Bernd
1 Mayer, Jack N.
1 Miller, Gary Lee
1 Miller, Raymond E.
1 Mirkowska, Grazyna
1 Nathanson, Melvyn Bernard
1 Overmars, Mark H.
1 Parida, Laxmi
1 Paterson, Michael S.
1 Paul, Wolfgang Jakob
1 Pauly, Marc
1 Pippenger, Nicholas J.
1 Plaisted, David Alan
1 Reif, John H.
1 Reingold, Edward Martin
1 Rozenberg, Grzegorz
1 Sadri, Fereidoon
1 San Ginés, Aránzazu
1 Savage, John E.
1 Schnorr, Claus Peter
1 Seiferas, Joel I.
1 Simon, Janos
1 Spirakis, Paul G.
1 Stambaugh, Todd
1 Storer, James A.
1 Strong, H. Raymond
1 Supowit, Kenneth J.
1 Tarjan, Robert Endre
1 Thiagarajan, Pazhamaneri Subramaniam
1 Tompa, Martin
1 Toueg, Sam
1 Ukkonen, Esko
1 Ullman, Jeffrey David
1 Väänänen, Jouko Antero
1 van Benthem, Johan F. A. K.
1 van Ditmarsch, Hans Pieter
1 Van Leeuwen, Jan
1 Wassermann, Renata
1 Weiss, M. Angela
1 Yao, Frances F.
1 Yap, Chee-Keng

Publications by Year

Citations contained in zbMATH Open

56 Publications have been cited 609 times in 491 Documents Cited by Year
Existence and feasibility in arithmetic. Zbl 0243.02037
Parikh, Rohit
67
1971
A knowledge based semantics of messages. Zbl 1031.03021
Parikh, Rohit; Ramanujam, Ramaswamy
51
2003
Well-partial orderings and hierarchies. Zbl 0435.06004
de Jongh, D. H. J.; Parikh, Rohit
40
1977
An elementary proof of the completeness of PDL. Zbl 0451.03006
Kozen, Dexter; Parikh, Rohit
39
1981
Beliefs, belief revision, and splitting languages. Zbl 0963.03023
Parikh, Rohit
35
1999
Distributed processes and the logic of knowledge. Zbl 0565.68025
Parikh, Rohit; Ramanujam, R.
32
1985
Topological reasoning and the logic of knowledge. Zbl 0861.68092
Dabrowski, Andrew; Moss, Lawrence S.; Parikh, Rohit
30
1996
Process logic: Expressiveness, decidability, completeness. Zbl 0494.03016
Harel, David; Kozen, Dexter; Parikh, Rohit
25
1982
The logic of games and its applications. Zbl 0552.90110
Parikh, Rohit
22
1985
Social software. Zbl 1036.91048
Parikh, Rohit
20
2002
Communication, consensus, and knowledge. Zbl 0719.90021
Parikh, Rohit; Krasucki, Paul
20
1990
Game logic – an overview. Zbl 1040.03013
Pauly, Marc; Parikh, Rohit
20
2003
Conditional probability and defeasible inference. Zbl 1082.03023
Arló Costa, Horacio; Parikh, Rohit
17
2005
Definability in dynamic logic. Zbl 0472.03013
Meyer, Albert R.; Parikh, Rohit
14
1981
Pumping lemmas for regular sets. Zbl 0461.68081
Ehrenfeucht, A.; Parikh, R.; Rozenberg, G.
13
1981
A logical study of distributed transition systems. Zbl 0832.68075
Lodaya, Kamal; Parikh, Rohit; Ramanujam, R.; Thiagarajan, P. S.
13
1995
Relevance sensitive belief structures. Zbl 1001.68095
Chopra, Samir; Parikh, Rohit
13
2000
Vague predicates and language games. Zbl 0922.03042
Parikh, Rohit
10
1996
The logic of knowledge based obligation. Zbl 1103.03009
Pacuit, Eric; Parikh, Rohit; Cogan, Eva
10
2006
Knowledge-theoretic properties of strategic voting. Zbl 1111.68669
Chopra, Samir; Pacuit, Eric; Parikh, Rohit
9
2004
Equations between regular terms and an application to process logic. Zbl 0587.68031
Parikh, Rohit; Chandra, Ashok; Halpern, Joe; Meyer, Albert
8
1985
The completeness of propositional dynamic logic. Zbl 0392.03017
Parikh, Rohit
8
1978
The problem of vague predicates. Zbl 0502.03006
Parikh, Rohit
6
1983
Approximate belief revision. Zbl 1005.03020
Chopra, Samir; Parikh, Rohit; Wassermann, Renata
6
2001
Levels of knowledge in distributed systems. Zbl 1075.68605
Parikh, Rohit; Krasucki, Paul
6
1992
Relevance sensitive non-monotonic inference on belief sequences. Zbl 1041.68093
Chopra, Samir; Georgatos, Konstantinos; Parikh, Rohit
6
2001
A decision procedure for the propositional \(\mu\)-calculus. Zbl 0564.03012
Kozen, Dexter; Parikh, Rohit
5
1984
Propositional dynamic logics of programs: A survey. Zbl 0468.68038
Parikh, Rohit
4
1981
Finite and infinite dialogues. Zbl 0772.03012
Parikh, Rohit
4
1992
Sentences, belief and logical omniscience, or what does deduction tell us? Zbl 1205.03010
Parikh, Rohit
4
2008
Density of sets of natural numbers and the Lévy group. Zbl 1128.11006
Nathanson, Melvyn B.; Parikh, Rohit
4
2007
Conditional probability can be defined for all pairs of sets of reals. Zbl 0254.28009
Parikh, R.; Parnes, M.
4
1972
The power of knowledge in games. Zbl 1293.91029
Parikh, Rohit; Taşdemir, Çağil; Witzel, Andreas
4
2013
Monotonic and non-monotonic logics of knowledge. Zbl 0754.03016
Parikh, Rohit
3
1991
The logic of campaigning. Zbl 1302.91173
Dean, Walter; Parikh, Rohit
3
2010
Reasoning about communication graphs. Zbl 1196.68287
Pacuit, Eric; Parikh, Rohit
3
2007
Probabilistic conditionals are almost monotonic. Zbl 1204.03009
Johnson, Matthew P.; Parikh, Rohit
3
2008
A conservation result. Zbl 0188.02102
Parikh, Rohit
3
1969
Completeness of certain bimodal logics for subset spaces. Zbl 1009.03015
Weiss, M. Angela; Parikh, Rohit
3
2002
Propositional logics of programs: New directions. Zbl 0539.68016
Parikh, Rohit
2
1983
Finite information logic. Zbl 1067.03039
Parikh, Rohit; Väänänen, Jouko
2
2005
Length and structure of proofs. Zbl 0947.03075
Parikh, Rohit
2
1998
Conditional probabilities and uniform sets. Zbl 0279.60004
Parikh, Rohit; Parnes, Milton
2
1974
Propositions, propositional attitudes and belief revision. Zbl 0995.03008
Parikh, Rohit
2
2001
A theory of probabilistic programs. Zbl 0558.68010
Parikh, Rohit; Mahoney, Anne
1
1984
On Kripke’s puzzle about time and thought. Zbl 1303.03026
Parikh, Rohit
1
2013
Some applications of topology to program semantics. Zbl 0481.68020
Parikh, Rohit
1
1982
Models for programs. Zbl 0507.68003
Parikh, Rohit
1
1981
Some applications of topology to program semantics. Zbl 0548.68011
Parikh, Rohit
1
1983
Logics of knowledge, games and dynamic logic. Zbl 0555.03008
Parikh, Rohit
1
1984
How far can we formalize language games? Zbl 0966.03511
Parikh, Rohit
1
1995
Some reminiscences of Kreisel. Zbl 0895.01010
Parikh, Rohit
1
1996
Knowledge, games and tales from the East. Zbl 1209.91014
Parikh, Rohit
1
2009
Logic colloquium. Symposium on logic held at Boston, 1972-73. Zbl 0298.00007
1
1975
Epistemic reasoning in life and literature. Zbl 1311.03026
Parikh, Rohit
1
2014
Social interaction, knowledge, and social software. Zbl 1266.68111
Pacuit, Eric; Parikh, Rohit
1
2006
Epistemic reasoning in life and literature. Zbl 1311.03026
Parikh, Rohit
1
2014
The power of knowledge in games. Zbl 1293.91029
Parikh, Rohit; Taşdemir, Çağil; Witzel, Andreas
4
2013
On Kripke’s puzzle about time and thought. Zbl 1303.03026
Parikh, Rohit
1
2013
The logic of campaigning. Zbl 1302.91173
Dean, Walter; Parikh, Rohit
3
2010
Knowledge, games and tales from the East. Zbl 1209.91014
Parikh, Rohit
1
2009
Sentences, belief and logical omniscience, or what does deduction tell us? Zbl 1205.03010
Parikh, Rohit
4
2008
Probabilistic conditionals are almost monotonic. Zbl 1204.03009
Johnson, Matthew P.; Parikh, Rohit
3
2008
Density of sets of natural numbers and the Lévy group. Zbl 1128.11006
Nathanson, Melvyn B.; Parikh, Rohit
4
2007
Reasoning about communication graphs. Zbl 1196.68287
Pacuit, Eric; Parikh, Rohit
3
2007
The logic of knowledge based obligation. Zbl 1103.03009
Pacuit, Eric; Parikh, Rohit; Cogan, Eva
10
2006
Social interaction, knowledge, and social software. Zbl 1266.68111
Pacuit, Eric; Parikh, Rohit
1
2006
Conditional probability and defeasible inference. Zbl 1082.03023
Arló Costa, Horacio; Parikh, Rohit
17
2005
Finite information logic. Zbl 1067.03039
Parikh, Rohit; Väänänen, Jouko
2
2005
Knowledge-theoretic properties of strategic voting. Zbl 1111.68669
Chopra, Samir; Pacuit, Eric; Parikh, Rohit
9
2004
A knowledge based semantics of messages. Zbl 1031.03021
Parikh, Rohit; Ramanujam, Ramaswamy
51
2003
Game logic – an overview. Zbl 1040.03013
Pauly, Marc; Parikh, Rohit
20
2003
Social software. Zbl 1036.91048
Parikh, Rohit
20
2002
Completeness of certain bimodal logics for subset spaces. Zbl 1009.03015
Weiss, M. Angela; Parikh, Rohit
3
2002
Approximate belief revision. Zbl 1005.03020
Chopra, Samir; Parikh, Rohit; Wassermann, Renata
6
2001
Relevance sensitive non-monotonic inference on belief sequences. Zbl 1041.68093
Chopra, Samir; Georgatos, Konstantinos; Parikh, Rohit
6
2001
Propositions, propositional attitudes and belief revision. Zbl 0995.03008
Parikh, Rohit
2
2001
Relevance sensitive belief structures. Zbl 1001.68095
Chopra, Samir; Parikh, Rohit
13
2000
Beliefs, belief revision, and splitting languages. Zbl 0963.03023
Parikh, Rohit
35
1999
Length and structure of proofs. Zbl 0947.03075
Parikh, Rohit
2
1998
Topological reasoning and the logic of knowledge. Zbl 0861.68092
Dabrowski, Andrew; Moss, Lawrence S.; Parikh, Rohit
30
1996
Vague predicates and language games. Zbl 0922.03042
Parikh, Rohit
10
1996
Some reminiscences of Kreisel. Zbl 0895.01010
Parikh, Rohit
1
1996
A logical study of distributed transition systems. Zbl 0832.68075
Lodaya, Kamal; Parikh, Rohit; Ramanujam, R.; Thiagarajan, P. S.
13
1995
How far can we formalize language games? Zbl 0966.03511
Parikh, Rohit
1
1995
Levels of knowledge in distributed systems. Zbl 1075.68605
Parikh, Rohit; Krasucki, Paul
6
1992
Finite and infinite dialogues. Zbl 0772.03012
Parikh, Rohit
4
1992
Monotonic and non-monotonic logics of knowledge. Zbl 0754.03016
Parikh, Rohit
3
1991
Communication, consensus, and knowledge. Zbl 0719.90021
Parikh, Rohit; Krasucki, Paul
20
1990
Distributed processes and the logic of knowledge. Zbl 0565.68025
Parikh, Rohit; Ramanujam, R.
32
1985
The logic of games and its applications. Zbl 0552.90110
Parikh, Rohit
22
1985
Equations between regular terms and an application to process logic. Zbl 0587.68031
Parikh, Rohit; Chandra, Ashok; Halpern, Joe; Meyer, Albert
8
1985
A decision procedure for the propositional \(\mu\)-calculus. Zbl 0564.03012
Kozen, Dexter; Parikh, Rohit
5
1984
A theory of probabilistic programs. Zbl 0558.68010
Parikh, Rohit; Mahoney, Anne
1
1984
Logics of knowledge, games and dynamic logic. Zbl 0555.03008
Parikh, Rohit
1
1984
The problem of vague predicates. Zbl 0502.03006
Parikh, Rohit
6
1983
Propositional logics of programs: New directions. Zbl 0539.68016
Parikh, Rohit
2
1983
Some applications of topology to program semantics. Zbl 0548.68011
Parikh, Rohit
1
1983
Process logic: Expressiveness, decidability, completeness. Zbl 0494.03016
Harel, David; Kozen, Dexter; Parikh, Rohit
25
1982
Some applications of topology to program semantics. Zbl 0481.68020
Parikh, Rohit
1
1982
An elementary proof of the completeness of PDL. Zbl 0451.03006
Kozen, Dexter; Parikh, Rohit
39
1981
Definability in dynamic logic. Zbl 0472.03013
Meyer, Albert R.; Parikh, Rohit
14
1981
Pumping lemmas for regular sets. Zbl 0461.68081
Ehrenfeucht, A.; Parikh, R.; Rozenberg, G.
13
1981
Propositional dynamic logics of programs: A survey. Zbl 0468.68038
Parikh, Rohit
4
1981
Models for programs. Zbl 0507.68003
Parikh, Rohit
1
1981
The completeness of propositional dynamic logic. Zbl 0392.03017
Parikh, Rohit
8
1978
Well-partial orderings and hierarchies. Zbl 0435.06004
de Jongh, D. H. J.; Parikh, Rohit
40
1977
Logic colloquium. Symposium on logic held at Boston, 1972-73. Zbl 0298.00007
1
1975
Conditional probabilities and uniform sets. Zbl 0279.60004
Parikh, Rohit; Parnes, Milton
2
1974
Conditional probability can be defined for all pairs of sets of reals. Zbl 0254.28009
Parikh, R.; Parnes, M.
4
1972
Existence and feasibility in arithmetic. Zbl 0243.02037
Parikh, Rohit
67
1971
A conservation result. Zbl 0188.02102
Parikh, Rohit
3
1969
all top 5

Cited by 514 Authors

18 Parikh, Rohit
18 van Benthem, Johan F. A. K.
13 Pacuit, Eric
11 van Ditmarsch, Hans Pieter
9 Heinemann, Bernhard
9 Lawry, Jonathan
8 Halpern, Joseph Yehuda
7 Özgün, Aybüke
6 Baltag, Alexandru
6 Moses, Yoram
6 Smets, Sonja J. L.
6 Weiermann, Andreas
5 Aravanis, Theofanis I.
5 Beierle, Christoph
5 Harel, David
5 Hoshi, Tomohiro
5 Kern-Isberner, Gabriele
5 Montanari, Angelo
5 Peppas, Pavlos
5 van Eijck, Jan
5 Vardi, Moshe Ya’akov
5 Visser, Albert
5 Walukiewicz, Igor
5 Wassermann, Renata
4 Bjorndahl, Adam
4 Buss, Samuel R.
4 Chopra, Samir
4 D’Aquino, Paola
4 Doberkat, Ernst-Erich
4 Furusawa, Hitoshi
4 Hansson, Sven Ove
4 Kozen, Dexter C.
4 Makinson, David Clement
4 Marcone, Alberto
4 Peleg, David
4 Rathjen, Michael
4 Roy, Olivier
4 Tang, Yongchuan
4 Van der Meeren, Jeroen
4 Wang, Yanjing
4 Williams, Mary-Anne
4 Wooldridge, Michael J.
3 Altman, Harry J.
3 Başkent, Can
3 Broersen, Jan M.
3 Della Monica, Dario
3 Ferreira, Fernando
3 Georgatos, Konstantinos
3 Ghosh, Sujata
3 Goranko, Valentin F.
3 Gutierrez, Julian
3 Harrenstein, Paul
3 Herzig, Andreas
3 Kooi, Barteld Pieter
3 Lange, Martin
3 Macintyre, Angus John
3 Ménager, Lucie
3 Montalbán, Antonio
3 Moss, Lawrence S.
3 Perrussel, Laurent
3 Pouzet, Maurice
3 Sack, Joshua
3 Schmidt, Diana
3 Sciavicco, Guido
3 Sillari, Giacomo
3 Struth, Georg
3 Thiagarajan, Pazhamaneri Subramaniam
3 van der Hoek, Wiebe
3 Velázquez-Quesada, Fernando Raymundo
3 Verbrugge, Rineke
3 Zhang, Dongmo
2 Alechina, Natasha
2 Alur, Rajeev
2 Balbiani, Philippe
2 Beckmann, Arnold
2 Ben-Zvi, Ido
2 Bonanno, Giacomo
2 Bresolin, Davide
2 Christoff, Zoé
2 Delgrande, James P.
2 Duan, Zhenhua
2 Eichhorn, Christian
2 Emerson, Ernest Allen
2 Endriss, Ulle
2 Fagin, Ronald
2 Finger, Marcelo
2 Friedmann, Oliver
2 Gabbay, Dov M.
2 Galliani, Pietro
2 Ghose, Aditya K.
2 Gierasimczuk, Nina
2 Goldblatt, Robert Ian
2 Hájek, Petr
2 Haldimann, Jonas
2 Holliday, Wesley H.
2 Jeřábek, Emil
2 Kawahara, Yasuo
2 Kfoury, Assaf J.
2 Knight, Julia F.
2 Knight, Sophia
...and 414 more Authors
all top 5

Cited in 80 Serials

42 Annals of Pure and Applied Logic
33 Synthese
28 Theoretical Computer Science
23 Journal of Philosophical Logic
19 Artificial Intelligence
18 Studia Logica
16 Information and Computation
15 Journal of Applied Non-Classical Logics
14 Journal of Computer and System Sciences
13 Journal of Logic, Language and Information
12 Archive for Mathematical Logic
11 The Review of Symbolic Logic
10 International Journal of Approximate Reasoning
10 Journal of Logical and Algebraic Methods in Programming
9 Journal of Applied Logic
8 Annals of Mathematics and Artificial Intelligence
6 The Journal of Symbolic Logic
6 Games and Economic Behavior
5 Journal of Economic Theory
4 Information Processing Letters
4 Transactions of the American Mathematical Society
4 Distributed Computing
4 The Bulletin of Symbolic Logic
4 Logical Methods in Computer Science
3 Acta Informatica
3 Discrete Mathematics
3 Theory and Decision
3 Mathematical Social Sciences
3 Social Choice and Welfare
3 Formal Aspects of Computing
3 Formal Methods in System Design
3 Mathematical Logic Quarterly (MLQ)
3 Erkenntnis
3 ACM Transactions on Computational Logic
2 International Journal of General Systems
2 Advances in Mathematics
2 Fuzzy Sets and Systems
2 Journal of Combinatorial Theory. Series A
2 Journal of Mathematical Economics
2 Mathematical Systems Theory
2 Notre Dame Journal of Formal Logic
2 Journal of Mathematical Sciences (New York)
2 The Journal of Artificial Intelligence Research (JAIR)
2 Theory of Computing Systems
2 Sādhanā
2 Frontiers of Computer Science
2 Bulletin of the Hellenic Mathematical Society
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Israel Journal of Mathematics
1 Journal of Mathematical Analysis and Applications
1 Algebra Universalis
1 Information Sciences
1 International Journal of Game Theory
1 Journal of Algebra
1 Journal of Number Theory
1 Kybernetika
1 Michigan Mathematical Journal
1 Proceedings of the American Mathematical Society
1 RAIRO, Informatique Théorique
1 Siberian Mathematical Journal
1 Order
1 Graphs and Combinatorics
1 Probability Theory and Related Fields
1 Algorithmica
1 Journal of Automated Reasoning
1 MSCS. Mathematical Structures in Computer Science
1 European Journal of Operational Research
1 International Journal of Computer Mathematics
1 Indagationes Mathematicae. New Series
1 Tatra Mountains Mathematical Publications
1 Economic Theory
1 Selecta Mathematica. New Series
1 Soft Computing
1 Journal of the ACM
1 Journal of Mathematical Logic
1 International Game Theory Review
1 Annales Mathematicae Silesianae
1 Integers
1 Contributions to Discrete Mathematics
1 ACM Transactions on Computation Theory

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.