Rohit Parikh
According to our database^{1},
Rohit Parikh
authored at least 74 papers
between 1966 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at viaf.org

at id.loc.gov

at dnb.info

at andrej.com
On csauthors.net:
Bibliography
2019
Logic Without Language.
Proceedings of the Logic and Its Applications  8th Indian Conference, 2019
2017
An Epistemic Generalization of Rationalizability.
Proceedings of the Logic, Language, Information, and Computation, 2017
Why We Speak.
Proceedings of the 15th Meeting on the Mathematics of Language, 2017
2015
A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of Belief.
Proceedings of the Logic and Its Applications  6th Indian Conference, 2015
The Strategy of Campaigning.
Proceedings of the Fields of Logic and Computation II, 2015
2013
The Power of Knowledge in Games.
IGTR, 2013
On Kripke's Puzzle about Time and Thought.
Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013
2012
What Is Social Software?
Proceedings of the Games, Actions and Social Software  Multidisciplinary Aspects, 2012
Choice and Uncertainty in Games.
Proceedings of the Logic and Program Semantics, 2012
An Appreciation of Dexter Kozen.
Proceedings of the Logic and Program Semantics, 2012
2011
Beth definability, interpolation and language splitting.
Synthese, 2011
Logic in India  Editorial Introduction.
J. Philosophical Logic, 2011
The Logic of Campaigning.
Proceedings of the Logic and Its Applications  4th Indian Conference, 2011
Is There a Logic of Society?
Proceedings of the Proof, Computation and Agency  Logic at the Crossroads., 2011
2009
Knowledge, Games and Tales from the East.
Proceedings of the Logic and Its Applications, Third Indian Conference, 2009
Knowledge and Structure in Social Algorithms.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009
2008
Sentences, Belief and Logical Omniscience, or What does Deduction Tell US?
Rev. Symb. Log., 2008
Probabilistic Conditionals are Almost Monotonic.
Rev. Symb. Log., 2008
2007
Topology and Epistemic Logic.
Proceedings of the Handbook of Spatial Logics, 2007
Some Puzzles About Probability and Probabilistic Conditionals.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007
2006
The Logic of Knowledge Based Obligation.
Synthese, 2006
2005
Conditional Probability and Defeasible Inference.
J. Philosophical Logic, 2005
Finite information logic.
Ann. Pure Appl. Logic, 2005
Logical omniscience and common knowledge: WHAT do we know and what do WE know?
Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK2005), 2005
2004
KnowledgeTheoretic Properties of Strategic Voting.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
The Logic of Communication Graphs.
Proceedings of the Declarative Agent Languages and Technologies II, 2004
2003
Game Logic  An Overview.
Studia Logica, 2003
Editorial Introduction.
Studia Logica, 2003
A Knowledge Based Semantics of Messages.
Journal of Logic, Language and Information, 2003
2002
Social Software.
Synthese, 2002
Completeness of Certain Bimodal Logics for Subset Spaces.
Studia Logica, 2002
States of Knowledge.
Electr. Notes Theor. Comput. Sci., 2002
2001
Relevance Sensitive NonMonotonic Inference on Belief Sequences.
Journal of Applied NonClassical Logics, 2001
Sock Sorting: An Example of a Vague Algorithm.
Logic Journal of the IGPL, 2001
Approximate Belief Revision.
Logic Journal of the IGPL, 2001
2000
Gems of Theoretical Computer Science, Uwe Schöning and Randall Pruim.
Journal of Logic, Language and Information, 2000
Relevance sensitive belief structures.
Ann. Math. Artif. Intell., 2000
1999
An Inconsistency Tolerant Model for Belief Representation and Belief Revision.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
1998
Length and Structure of Proofs.
Synthese, 1998
Propositions, Propositional Attitudes and Belief Revision.
Proceedings of the Advances in Modal Logic 2, 1998
1996
Topological Reasoning and the Logic of Knowledge.
Ann. Pure Appl. Logic, 1996
1995
A Logical Study of Distributed Transition Systems
Inf. Comput., May, 1995
Knowledge Based Computation (Extended Abstract).
Proceedings of the Algebraic Methodology and Software Technology, 1995
1994
Logical Omniscience.
Proceedings of the Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, 1994
1992
Topological Reasoning and The Logic of Knowledge.
Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, 1992
1991
Preface
Inf. Comput., July, 1991
A test for fuzzy logic.
SIGACT News, 1991
Monotonic and nonmonotonic logics of knowledge.
Fundam. Inform., 1991
DumbFounded Sets.
Bulletin of the EATCS, 1991
1990
Recent Issues in Reasoning about Knowledge.
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, 1990
1989
Decidability and Undecidability in Distributed Transition Systems.
Proceedings of the A Perspective in Theoretical Computer Science, 1989
1988
Meeting of the Association for Symbolic Logic: New York City, May 1987.
J. Symb. Log., 1988
1987
Knowledge and the Problem of Logical Omniscience.
Proceedings of the Methodologies for Intelligent Systems, 1987
Some Recent Applications of Knowledge.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1987
1986
Levels of Knowledge in Distributed Computing
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986
Logic and Computation (Panel).
Proceedings of the Information Processing 86, 1986
1985
Equations Between Regular Terms and an Application to Process Logic.
SIAM J. Comput., 1985
Distributed Processes and the Logic of Knowledge.
Proceedings of the Logics of Programs, 1985
1984
Logics of Knowledge, Games and Dynamic Logic.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984
1983
Some Applications of Topology to Program Semantics.
Mathematical Systems Theory, 1983
A Theory of Probabilistic Programs.
Proceedings of the Logics of Programs, 1983
A Decision Procedure for the Propositional µCalculus.
Proceedings of the Logics of Programs, 1983
Propositional Game Logic
Proceedings of the 24th Annual Symposium on Foundations of Computer Science, 1983
Propositional Logics of Programs: New Directions.
Proceedings of the Fundamentals of Computation Theory, 1983
1982
Process Logic: Expressiveness, Decidability, Completeness.
J. Comput. Syst. Sci., 1982
1981
An Elementary Proof of the Completness of PDL.
Theor. Comput. Sci., 1981
Pumping Lemmas for Regular Sets.
SIAM J. Comput., 1981
Definability in Dynamic Logic.
J. Comput. Syst. Sci., 1981
1980
Propositional Logics of Programs: Systems, Models, and Complexity.
Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980
1979
Propositional Dynamic Logics of Programs: a Survey.
Proceedings of the Logics of Programs, Workshop, ETH Zürich, MayJuly 1979, 1979
1978
The Completeness of Propositional Dynamic Logic.
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978
A Decidability Result for a Second Order Process Logic
Proceedings of the 19th Annual Symposium on Foundations of Computer Science, 1978
1971
Existence and Feasibility in Arithmetic.
J. Symb. Log., 1971
1966
On ContextFree Languages.
J. ACM, 1966