Rohit Parikh

According to our database1, Rohit Parikh authored at least 74 papers between 1966 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

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 (TARK-2005), 2005

2004
Knowledge-Theoretic 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 Non-Monotonic Inference on Belief Sequences.
Journal of Applied Non-Classical 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 non-monotonic logics of knowledge.
Fundam. Inform., 1991

Dumb-Founded 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, May-July 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 Context-Free Languages.
J. ACM, 1966


  Loading...