Rohit Parikh - RankMe

86 papers A* 8B 8C 3Misc 1Journal 39Unranked 21

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Logic and the Social World. Logica Universalis Rohit Parikh
2023	J	`jnl`	Logic, co-ordination and the envelope of our beliefs. Log. J. IGPL Rohit Parikh
2021	J	`jnl`	Knowledge, behavior, and rationality: rationalizability in epistemic games. Arch. Math. Log. Todd Stambaugh, Rohit Parikh
2020	J	`jnl`	Feasibility, sorites and vagueness. Bull. EATCS Rohit Parikh
2019	—	`conf`	Logic Without Language. ICLA Rohit Parikh
2017	C	`conf`	An Epistemic Generalization of Rationalizability. WoLLIC Rohit Parikh
2017	—	`conf`	Why We Speak. MOL Rohit Parikh
2015	—	`conf`	A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of Belief. ICLA Aránzazu San Ginés, Rohit Parikh
2015	—	`conf`	The Strategy of Campaigning. Fields of Logic and Computation II Rohit Parikh, Çagil Tasdemir
2013	—	`conf`	On Kripke's Puzzle about Time and Thought. ICLA Rohit Parikh
2013	J	`jnl`	The Power of Knowledge in Games. IGTR Rohit Parikh, Çagil Tasdemir, Andreas Witzel
2012	—	`conf`	An Appreciation of Dexter Kozen. Logic and Program Semantics Rohit Parikh
2012	—	`conf`	Choice and Uncertainty in Games. Logic and Program Semantics Rohit Parikh, Çagil Tasdemir, Andreas Witzel
2012	—	`ch.`	What Is Social Software? Games, Actions and Social Software Rohit Parikh, Marc Pauly
2011	J	`jnl`	Beth definability, interpolation and language splitting. Synth. Rohit Parikh
2011	—	`ch.`	Is There a Logic of Society? Proof, Computation and Agency Rohit Parikh
2011	J	`jnl`	Logic in India - Editorial Introduction. J. Philos. Log. Hans van Ditmarsch, Rohit Parikh, Ramaswamy Ramanujam
2011	—	`book`	Proof, Computation and Agency - Logic at the Crossroads. Johan van Benthem, Amitabha Gupta, Rohit Parikh
2011	—	`conf`	The Logic of Campaigning. ICLA Walter Dean, Rohit Parikh
2009	—	`conf`	Knowledge and Structure in Social Algorithms. RelMiCS Rohit Parikh
2009	—	`conf`	Knowledge, Games and Tales from the East. ICLA Rohit Parikh
2008	J	`jnl`	Probabilistic Conditionals are Almost Monotonic. Rev. Symb. Log. Matthew P. Johnson, Rohit Parikh
2008	J	`jnl`	Sentences, Belief and Logical Omniscience, or What does Deduction Tell US? Rev. Symb. Log. Rohit Parikh
2007	Misc	`conf`	Some Puzzles About Probability and Probabilistic Conditionals. LFCS Rohit Parikh
2007	—	`ch.`	Topology and Epistemic Logic. Handbook of Spatial Logics Rohit Parikh, Lawrence S. Moss, Chris Steinsvold
2006	J	`jnl`	The Logic of Knowledge Based Obligation. Synth. Eric Pacuit, Rohit Parikh, Eva Cogan
2005	J	`jnl`	Conditional Probability and Defeasible Inference. J. Philos. Log. Horacio L. Arló-Costa, Rohit Parikh
2005	J	`jnl`	Finite information logic. Ann. Pure Appl. Log. Rohit Parikh, Jouko A. Väänänen
2005	B	`conf`	Logical omniscience and common knowledge: WHAT do we know and what do WE know? TARK Rohit Parikh
2004	B	`conf`	Knowledge-Theoretic Properties of Strategic Voting. JELIA Samir Chopra, Eric Pacuit, Rohit Parikh
2004	—	`conf`	The Logic of Communication Graphs. DALT Eric Pacuit, Rohit Parikh
2003	J	`jnl`	A Knowledge Based Semantics of Messages. J. Log. Lang. Inf. Rohit Parikh, Ramaswamy Ramanujam
2003	J	`jnl`	Editorial Introduction. Stud Logica Marc Pauly, Rohit Parikh
2003	J	`jnl`	Game Logic - An Overview. Stud Logica Marc Pauly, Rohit Parikh
2002	J	`jnl`	Completeness of Certain Bimodal Logics for Subset Spaces. Stud Logica M. Angela Weiss, Rohit Parikh
2002	J	`jnl`	Social Software. Synth. Rohit Parikh
2002	C	`conf`	States of Knowledge. WoLLIC Rohit Parikh
2001	J	`jnl`	Approximate Belief Revision. Log. J. IGPL Samir Chopra, Rohit Parikh, Renata Wassermann
2001	J	`jnl`	Relevance Sensitive Non-Monotonic Inference on Belief Sequences. J. Appl. Non Class. Logics Samir Chopra, Konstantinos Georgatos, Rohit Parikh
2001	J	`jnl`	Sock Sorting: An Example of a Vague Algorithm. Log. J. IGPL Rohit Parikh, Laxmi Parida, Vaughan R. Pratt
2000	J	`jnl`	Gems of Theoretical Computer Science, Uwe Schöning and Randall Pruim. J. Log. Lang. Inf. Rohit Parikh
2000	J	`jnl`	Relevance Sensitive Non-Monotonic Inference on Belief Sequences CoRR Samir Chopra, Konstantinos Georgatos, Rohit Parikh
2000	J	`jnl`	Relevance sensitive belief structures. Ann. Math. Artif. Intell. Samir Chopra, Rohit Parikh
1999	A*	`conf`	An Inconsistency Tolerant Model for Belief Representation and Belief Revision. IJCAI Samir Chopra, Rohit Parikh
1998	J	`jnl`	Length and Structure of Proofs. Synth. Rohit Parikh
1998	B	`conf`	Propositions, Propositional Attitudes and Belief Revision. Advances in Modal Logic Rohit Parikh
1996	J	`jnl`	Topological Reasoning and the Logic of Knowledge. Ann. Pure Appl. Log. Andrew Dabrowski, Lawrence S. Moss, Rohit Parikh
1995	J	`jnl`	A Logical Study of Distributed Transition Systems Inf. Comput. Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan
1995	—	`conf`	Knowledge Based Computation (Extended Abstract). AMAST Rohit Parikh
1994	—	`conf`	Logical Omniscience. LCC Rohit Parikh
1992	B	`conf`	Topological Reasoning and The Logic of Knowledge. TARK Lawrence S. Moss, Rohit Parikh
1991	J	`jnl`	A test for fuzzy logic. SIGACT News Rohit Parikh
1991	J	`jnl`	Dumb-Founded Sets. Bull. EATCS Rohit Parikh
1991	J	`jnl`	Monotonic and non-monotonic logics of knowledge. Fundam. Informaticae Rohit Parikh
1991	J	`jnl`	Preface Inf. Comput. Rohit Parikh
1990	B	`ed.`	Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1990 TARK Rohit Parikh
1990	B	`conf`	Recent Issues in Reasoning about Knowledge. TARK Rohit Parikh
1989	—	`ch.`	Decidability and Undecidability in Distributed Transition Systems. A Perspective in Theoretical Computer Science Rohit Parikh
1988	J	`jnl`	Meeting of the Association for Symbolic Logic: New York City, May 1987. J. Symb. Log. Martin Davis, Rohit Parikh
1987	C	`conf`	Knowledge and the Problem of Logical Omniscience. ISMIS Rohit Parikh
1987	—	`conf`	Some Recent Applications of Knowledge. FSTTCS Rohit Parikh
1986	A*	`conf`	Levels of Knowledge in Distributed Computing LICS Rohit Parikh
1986	—	`conf`	Logic and Computation (Panel). IFIP Congress Rohit Parikh
1985	—	`conf`	Distributed Processes and the Logic of Knowledge. Logic of Programs Rohit Parikh, Ramaswamy Ramanujam
1985	J	`jnl`	Equations Between Regular Terms and an Application to Process Logic. SIAM J. Comput. Rohit Parikh, Ashok K. Chandra, Joseph Y. Halpern, Albert R. Meyer
1985	—	`ed.`	Logics of Programs, Conference, Brooklyn College, New York, NY, USA, June 17-19, 1985, Proceedings Logics of Programs Rohit Parikh
1984	—	`conf`	Logics of Knowledge, Games and Dynamic Logic. FSTTCS Rohit Parikh
1983	—	`conf`	A Decision Procedure for the Propositional µ-Calculus. Logic of Programs Dexter Kozen, Rohit Parikh
1983	—	`conf`	A Theory of Probabilistic Programs. Logic of Programs Rohit Parikh, Anne Mahoney
1983	A*	`conf`	Propositional Game Logic FOCS Rohit Parikh
1983	B	`conf`	Propositional Logics of Programs: New Directions. FCT Rohit Parikh
1983	J	`jnl`	Some Applications of Topology to Program Semantics. Math. Syst. Theory Rohit Parikh
1982	J	`jnl`	Process Logic: Expressiveness, Decidability, Completeness. J. Comput. Syst. Sci. David Harel, Dexter Kozen, Rohit Parikh
1981	J	`jnl`	An Elementary Proof of the Completness of PDL. Theor. Comput. Sci. Dexter Kozen, Rohit Parikh
1981	J	`jnl`	Definability in Dynamic Logic. J. Comput. Syst. Sci. Albert R. Meyer, Rohit Parikh
1981	A*	`conf`	Equations between Regular Terms and an Application to Process Logic STOC Ashok K. Chandra, Joseph Y. Halpern, Albert R. Meyer, Rohit Parikh
1981	J	`jnl`	Pumping Lemmas for Regular Sets. SIAM J. Comput. Andrzej Ehrenfeucht, Rohit Parikh, Grzegorz Rozenberg
1981	—	`conf`	Some Applications of Topology to Program Semantics. Logic of Programs Rohit Parikh
1980	A*	`conf`	Definability in Dynamic Logic STOC Albert R. Meyer, Rohit Parikh
1980	A*	`conf`	Process Logic: Expressiveness, Decidability, Completeness FOCS David Harel, Dexter Kozen, Rohit Parikh
1980	A*	`conf`	Propositional Logics of Programs: Systems, Models, and Complexity. POPL Rohit Parikh
1979	—	`conf`	Propositional Dynamic Logics of Programs: a Survey. Logic of Programs Rohit Parikh
1978	A*	`conf`	A Decidability Result for a Second Order Process Logic FOCS Rohit Parikh
1978	B	`conf`	The Completeness of Propositional Dynamic Logic. MFCS Rohit Parikh
1971	J	`jnl`	Existence and Feasibility in Arithmetic. J. Symb. Log. Rohit Parikh
1966	J	`jnl`	On Context-Free Languages. J. ACM Rohit Parikh