# zbMATH — the first resource for mathematics

## Parikh, Rohit

Compute Distance To:
 Author ID: parikh.rohit Published as: Parikh, R.; Parikh, Rohit External Links: MGP · Wikidata · GND
 Documents Indexed: 81 Publications since 1967, including 5 Books Biographic References: 5 Publications
all top 5

#### Co-Authors

 43 single-authored 4 Chopra, Samir 4 Pacuit, Eric 4 Ramanujam, Ramaswamy 3 Kozen, Dexter C. 3 Taşdemir, Çağıl 2 Krasucki, Paul 2 Meyer, Albert Ronald 2 Parnes, Milton N. 2 Witzel, Andreas 1 Chandra, Ashok K. 1 Cogan, Eva H. 1 Costa, Horacio Arló 1 Dabrowski, Andrew 1 de Jongh, Dick H. J. 1 Dean, Walter 1 Georgatos, Konstantinos 1 Gupta, Amitabha 1 Halpern, Joe 1 Harel, David 1 Johnson, Matthew P. 1 Lodaya, Kamal 1 Mahoney, Anne 1 Moss, Lawrence S. 1 Nathanson, Melvyn Bernard 1 Parida, Laxmi 1 Pauly, Marc 1 Pratt, Vaughan R. 1 San Ginés, Aránzazu 1 Thiagarajan, Pazhamaneri Subramaniam 1 Väänänen, Jouko Antero 1 van Benthem, Johan F. A. K. 1 van Ditmarsch, Hans Pieter 1 Wassermann, Renata 1 Weiss, M. Angela
all top 5

#### Serials

 4 Synthese 2 Journal of Computer and System Sciences 2 Journal of Philosophical Logic 2 Proceedings of the American Mathematical Society 2 Studia Logica 2 Annals of Pure and Applied Logic 2 Logic Journal of the IGPL 2 The Review of Symbolic Logic 1 Advances in Mathematics 1 Journal of Economic Theory 1 The Journal of the Indian Mathematical Society. New Series 1 Journal of Number Theory 1 The Journal of Symbolic Logic 1 Mathematical Systems Theory 1 SIAM Journal on Computing 1 Theoretical Computer Science 1 Annales Societatis Mathematicae Polonae. Series IV 1 Theoria. Segunda Epoca 1 Information and Computation 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 The Bulletin of Symbolic Logic 1 Annals of Mathematics and Artificial Intelligence 1 International Game Theory Review 1 Sādhanā 1 Lecture Notes in Computer Science 1 Synthese Library 1 Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Indagationes Mathematicae
all top 5

#### Fields

 54 Mathematical logic and foundations (03-XX) 36 Computer science (68-XX) 15 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 General and overarching topics; collections (00-XX) 5 History and biography (01-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Measure and integration (28-XX) 2 Probability theory and stochastic processes (60-XX) 1 Number theory (11-XX) 1 Real functions (26-XX)

#### Citations contained in zbMATH Open

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

#### Cited by 530 Authors

 18 Parikh, Rohit 17 van Benthem, Johan F. A. K. 12 Pacuit, Eric 9 Lawry, Jonathan 9 van Ditmarsch, Hans Pieter 8 Halpern, Joseph Yehuda 8 Heinemann, Bernhard 6 Moses, Yoram 6 Smets, Sonja J. L. 5 Baltag, Alexandru 5 Furusawa, Hitoshi 5 Harel, David 5 Hoshi, Tomohiro 5 Montanari, Angelo 5 van Eijck, Jan 5 Vardi, Moshe Y. 5 Visser, Albert 5 Walukiewicz, Igor 5 Wassermann, Renata 5 Wooldridge, Michael J. 4 Buss, Samuel R. 4 Chopra, Samir 4 D’Aquino, Paola 4 Doberkat, Ernst-Erich 4 Gutierrez, Julian 4 Hansson, Sven Ove 4 Kozen, Dexter C. 4 Makinson, David Clement 4 Marcone, Alberto 4 Peleg, David 4 Peppas, Pavlos 4 Tang, Yongchuan 4 Weiermann, Andreas 3 Altman, Harry J. 3 Başkent, Can 3 Broersen, Jan M. 3 Carbone, Antonio 3 de Luca, Aldo 3 Della Monica, Dario 3 Emerson, Ernest Allen 3 Ferreira, Fernando 3 Georgatos, Konstantinos 3 Ghosh, Sujata 3 Goranko, Valentin F. 3 Harrenstein, Paul 3 Herzig, Andreas 3 Kooi, Barteld Pieter 3 Liu, Fenrong 3 Macintyre, Angus John 3 Ménager, Lucie 3 Montalbán, Antonio 3 Moss, Lawrence S. 3 Perelli, Giuseppe 3 Pouzet, Maurice 3 Ramanujam, Ramaswamy 3 Rathjen, Michael 3 Restivo, Antonio 3 Roy, Olivier 3 Sack, Joshua 3 Schnoebelen, Philippe 3 Sciavicco, Guido 3 Sillari, Giacomo 3 Struth, Georg 3 Thiagarajan, Pazhamaneri Subramaniam 3 van der Hoek, Wiebe 3 Van der Meeren, Jeroen 3 Velázquez-Quesada, Fernando Raymundo 3 Verbrugge, Rineke 3 Wang, Yanjing 3 Williams, Mary-Anne 2 Alechina, Natasha 2 Alur, Rajeev 2 Aravanis, Theofanis I. 2 Arlo Costa, Horacio L. 2 Balbiani, Philippe 2 Beckmann, Arnold 2 Ben-Zvi, Ido 2 Bonanno, Giacomo 2 Bresolin, Davide 2 Costa, Horacio Arló 2 Delgrande, James P. 2 Duan, Zhenhua 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 Guttmann, Walter 2 Hájek, Petr 2 Hashiguchi, Kosaburo 2 Jeřábek, Emil 2 Kawahara, Yasuo 2 Kern-Isberner, Gabriele 2 Kfoury, Assaf J. 2 Knight, Julia F. 2 Koessler, Frédéric 2 Krajíček, Jan ...and 430 more Authors
all top 5

#### Cited in 84 Serials

 42 Annals of Pure and Applied Logic 34 Theoretical Computer Science 32 Synthese 22 Journal of Philosophical Logic 20 Information and Computation 18 Artificial Intelligence 18 Journal of Computer and System Sciences 15 Studia Logica 15 Journal of Applied Non-Classical Logics 13 Journal of Logical and Algebraic Methods in Programming 12 Journal of Logic, Language and Information 11 Archive for Mathematical Logic 9 International Journal of Approximate Reasoning 9 Journal of Applied Logic 8 The Review of Symbolic Logic 7 The Journal of Symbolic Logic 6 Annals of Mathematics and Artificial Intelligence 5 Journal of Economic Theory 4 Information Processing Letters 4 Transactions of the American Mathematical Society 4 Games and Economic Behavior 4 Distributed Computing 4 The Bulletin of Symbolic Logic 4 Logical Methods in Computer Science 3 Acta Informatica 3 Discrete Mathematics 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 ACM Transactions on Computational Logic 2 International Journal of General Systems 2 Advances in Mathematics 2 Fuzzy Sets and Systems 2 Information Sciences 2 Journal of Combinatorial Theory. Series A 2 Mathematical Systems Theory 2 Notre Dame Journal of Formal Logic 2 Theory and Decision 2 Journal of Mathematical Sciences (New York) 2 Theory of Computing Systems 2 Erkenntnis 2 Sādhanā 2 Frontiers of Computer Science 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Israel Journal of Mathematics 1 Journal of Mathematical Analysis and Applications 1 Algebra Universalis 1 International Journal of Game Theory 1 Journal of Algebra 1 Journal of Mathematical Economics 1 Journal of Number Theory 1 Kybernetika 1 Michigan Mathematical Journal 1 Proceedings of the American Mathematical Society 1 RAIRO, Informatique Théorique 1 Rendiconti del Seminario Matemàtico e Fisico di Milano 1 Semigroup Forum 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 RAIRO. Informatique Théorique et Applications 1 Indagationes Mathematicae. New Series 1 Tatra Mountains Mathematical Publications 1 Economic Theory 1 Selecta Mathematica. New Series 1 The Journal of Artificial Intelligence Research (JAIR) 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 The Journal of Logic and Algebraic Programming 1 Contributions to Discrete Mathematics 1 ACM Transactions on Computation Theory 1 Bulletin of the Hellenic Mathematical Society
all top 5

#### Cited in 23 Fields

 376 Mathematical logic and foundations (03-XX) 230 Computer science (68-XX) 66 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 21 Order, lattices, ordered algebraic structures (06-XX) 12 Number theory (11-XX) 9 Group theory and generalizations (20-XX) 7 Combinatorics (05-XX) 5 Associative rings and algebras (16-XX) 5 Measure and integration (28-XX) 5 Probability theory and stochastic processes (60-XX) 4 General and overarching topics; collections (00-XX) 4 Category theory; homological algebra (18-XX) 3 History and biography (01-XX) 3 Real functions (26-XX) 3 General topology (54-XX) 2 General algebraic systems (08-XX) 2 Statistics (62-XX) 2 Operations research, mathematical programming (90-XX) 1 Field theory and polynomials (12-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Geometry (51-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX)

#### Wikidata Timeline

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