×

zbMATH — the first resource for mathematics

Parikh, Rohit

Compute Distance To:
Author ID: parikh.rohit Recent zbMATH articles by "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

Publications by Year

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
67
1971
A knowledge based semantics of messages. Zbl 1031.03021
Parikh, Rohit; Ramanujam, Ramaswamy
48
2003
Well-partial orderings and hierarchies. Zbl 0435.06004
de Jongh, D. H. J.; Parikh, Rohit
38
1977
An elementary proof of the completeness of PDL. Zbl 0451.03006
Kozen, Dexter; Parikh, Rohit
35
1981
Distributed processes and the logic of knowledge. Zbl 0565.68025
Parikh, Rohit; Ramanujam, R.
31
1985
Beliefs, belief revision, and splitting languages. Zbl 0963.03023
Parikh, Rohit
28
1999
Process logic: Expressiveness, decidability, completeness. Zbl 0494.03016
Harel, David; Kozen, Dexter; Parikh, Rohit
24
1982
Topological reasoning and the logic of knowledge. Zbl 0861.68092
Dabrowski, Andrew; Moss, Lawrence S.; Parikh, Rohit
23
1996
The logic of games and its applications. Zbl 0552.90110
Parikh, Rohit
23
1985
Social software. Zbl 1036.91048
Parikh, Rohit
20
2002
Game logic – an overview. Zbl 1040.03013
Pauly, Marc; Parikh, Rohit
19
2003
Communication, consensus, and knowledge. Zbl 0719.90021
Parikh, Rohit; Krasucki, Paul
18
1990
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.
12
1995
Relevance sensitive belief structures. Zbl 1001.68095
Chopra, Samir; Parikh, Rohit
11
2000
The logic of knowledge based obligation. Zbl 1103.03009
Pacuit, Eric; Parikh, Rohit; Cogan, Eva
10
2006
Vague predicates and language games. Zbl 0922.03042
Parikh, Rohit
10
1996
A decision procedure for the propositional \(\mu\)-calculus. Zbl 0564.03012
Kozen, Dexter; Parikh, Rohit
10
1984
The completeness of propositional dynamic logic. Zbl 0392.03017
Parikh, Rohit
10
1978
Equations between regular terms and an application to process logic. Zbl 0587.68031
Parikh, Rohit; Chandra, Ashok; Halpern, Joe; Meyer, Albert
8
1985
Knowledge-theoretic properties of strategic voting. Zbl 1111.68669
Chopra, Samir; Pacuit, Eric; Parikh, Rohit
6
2004
Relevance sensitive non-monotonic inference on belief sequences. Zbl 1041.68093
Chopra, Samir; Georgatos, Konstantinos; Parikh, Rohit
6
2001
Approximate belief revision. Zbl 1005.03020
Chopra, Samir; Parikh, Rohit; Wassermann, Renata
6
2001
Propositional logics of programs: New directions. Zbl 0539.68016
Parikh, Rohit
6
1983
The problem of vague predicates. Zbl 0502.03006
Parikh, Rohit
6
1983
Propositional dynamic logics of programs: A survey. Zbl 0468.68038
Parikh, Rohit
5
1981
Conditional probability can be defined for all pairs of sets of reals. Zbl 0254.28009
Parikh, R.; Parnes, M.
5
1972
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
Levels of knowledge in distributed systems. Zbl 1075.68605
Parikh, Rohit; Krasucki, Paul
4
1992
The logic of campaigning. Zbl 1302.91173
Dean, Walter; Parikh, Rohit
3
2010
Probabilistic conditionals are almost monotonic. Zbl 1204.03009
Johnson, Matthew P.; Parikh, Rohit
3
2008
Reasoning about communication graphs. Zbl 1196.68287
Pacuit, Eric; Parikh, Rohit
3
2007
Completeness of certain bimodal logics for subset spaces. Zbl 1009.03015
Weiss, M. Angela; Parikh, Rohit
3
2002
Finite and infinite dialogues. Zbl 0772.03012
Parikh, Rohit
3
1992
Monotonic and non-monotonic logics of knowledge. Zbl 0754.03016
Parikh, Rohit
3
1991
Conditional probabilities and uniform sets. Zbl 0279.60004
Parikh, Rohit; Parnes, Milton
3
1974
A conservation result. Zbl 0188.02102
Parikh, Rohit
3
1969
The power of knowledge in games. Zbl 1293.91029
Parikh, Rohit; Taşdemir, Çağil; Witzel, Andreas
2
2013
Social interaction, knowledge, and social software. Zbl 1266.68111
Pacuit, Eric; Parikh, Rohit
2
2006
Finite information logic. Zbl 1067.03039
Parikh, Rohit; Väänänen, Jouko
2
2005
Propositions, propositional attitudes and belief revision. Zbl 0995.03008
Parikh, Rohit
2
2001
Length and structure of proofs. Zbl 0947.03075
Parikh, Rohit
2
1998
A theory of probabilistic programs. Zbl 0558.68010
Parikh, Rohit; Mahoney, Anne
2
1984
Epistemic reasoning in life and literature. Zbl 1311.03026
Parikh, Rohit
1
2014
On Kripke’s puzzle about time and thought. Zbl 1303.03026
Parikh, Rohit
1
2013
Knowledge, games and tales from the East. Zbl 1209.91014
Parikh, Rohit
1
2009
Some reminiscences of Kreisel. Zbl 0895.01010
Parikh, Rohit
1
1996
How far can we formalize language games? Zbl 0966.03511
Parikh, Rohit
1
1995
Logics of knowledge, games and dynamic logic. Zbl 0555.03008
Parikh, Rohit
1
1984
Some applications of topology to program semantics. Zbl 0548.68011
Parikh, Rohit
1
1983
Some applications of topology to program semantics. Zbl 0481.68020
Parikh, Rohit
1
1982
Models for programs. Zbl 0507.68003
Parikh, Rohit
1
1981
Logic colloquium. Symposium on logic held at Boston, 1972-73. Zbl 0298.00007
Parikh, R. (ed.)
1
1975
On nonuniqueness in transfinite progressions. Zbl 0189.28803
Parikh, Rohit
1
1967
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
2
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
2
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
6
2004
A knowledge based semantics of messages. Zbl 1031.03021
Parikh, Rohit; Ramanujam, Ramaswamy
48
2003
Game logic – an overview. Zbl 1040.03013
Pauly, Marc; Parikh, Rohit
19
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
Relevance sensitive non-monotonic inference on belief sequences. Zbl 1041.68093
Chopra, Samir; Georgatos, Konstantinos; Parikh, Rohit
6
2001
Approximate belief revision. Zbl 1005.03020
Chopra, Samir; Parikh, Rohit; Wassermann, Renata
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
11
2000
Beliefs, belief revision, and splitting languages. Zbl 0963.03023
Parikh, Rohit
28
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
23
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.
12
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
4
1992
Finite and infinite dialogues. Zbl 0772.03012
Parikh, Rohit
3
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
18
1990
Distributed processes and the logic of knowledge. Zbl 0565.68025
Parikh, Rohit; Ramanujam, R.
31
1985
The logic of games and its applications. Zbl 0552.90110
Parikh, Rohit
23
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
10
1984
A theory of probabilistic programs. Zbl 0558.68010
Parikh, Rohit; Mahoney, Anne
2
1984
Logics of knowledge, games and dynamic logic. Zbl 0555.03008
Parikh, Rohit
1
1984
Propositional logics of programs: New directions. Zbl 0539.68016
Parikh, Rohit
6
1983
The problem of vague predicates. Zbl 0502.03006
Parikh, Rohit
6
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
24
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
35
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
5
1981
Models for programs. Zbl 0507.68003
Parikh, Rohit
1
1981
The completeness of propositional dynamic logic. Zbl 0392.03017
Parikh, Rohit
10
1978
Well-partial orderings and hierarchies. Zbl 0435.06004
de Jongh, D. H. J.; Parikh, Rohit
38
1977
Logic colloquium. Symposium on logic held at Boston, 1972-73. Zbl 0298.00007
Parikh, R. (ed.)
1
1975
Conditional probabilities and uniform sets. Zbl 0279.60004
Parikh, Rohit; Parnes, Milton
3
1974
Conditional probability can be defined for all pairs of sets of reals. Zbl 0254.28009
Parikh, R.; Parnes, M.
5
1972
Existence and feasibility in arithmetic. Zbl 0243.02037
Parikh, Rohit
67
1971
A conservation result. Zbl 0188.02102
Parikh, Rohit
3
1969
On nonuniqueness in transfinite progressions. Zbl 0189.28803
Parikh, Rohit
1
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

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.