Rohit Parikh - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 80 from 80

2023

Logic, co-ordination and the envelope of our beliefsRohit Parikh. igpl, 31(6):1069-1077, November 2023. [doi]

2021

Knowledge, behavior, and rationality: rationalizability in epistemic gamesTodd Stambaugh, Rohit Parikh. AML, 60(5):599-623, 2021. [doi]

2020

Feasibility, sorites and vaguenessRohit Parikh. eatcs, 132, 2020. [doi]

2019

Logic Without LanguageRohit Parikh. icla 2019: 173-182 [doi]

2017

Why We SpeakRohit Parikh. mol 2017: 68-74 [doi]

An Epistemic Generalization of RationalizabilityRohit Parikh. wollic 2017: 295-303 [doi]

2015

A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of BeliefAránzazu San Ginés, Rohit Parikh. icla 2015: 146-157 [doi]

The Strategy of CampaigningRohit Parikh, Çagil Tasdemir. BIRTHDAY 2015: 253-260 [doi]

2013

The Power of Knowledge in GamesRohit Parikh, Çagil Tasdemir, Andreas Witzel. igtr, 15(4), 2013. [doi]

On Kripke's Puzzle about Time and ThoughtRohit Parikh. icla 2013: 121-126 [doi]

2012

What Is Social Software?Rohit Parikh, Marc Pauly. In Jan van Eijck, Rineke Verbrugge, editors, Games, Actions and Social Software - Multidisciplinary Aspects. Volume 7010 of Lecture Notes in Computer Science, pages 3-13, Springer, 2012. [doi]

An Appreciation of Dexter KozenRohit Parikh. BIRTHDAY 2012: 338-340 [doi]

Choice and Uncertainty in GamesRohit Parikh, Çagil Tasdemir, Andreas Witzel. BIRTHDAY 2012: 244-255 [doi]

2011

The Logic of CampaigningWalter Dean, Rohit Parikh. icla 2011: 38-49 [doi]

Is There a Logic of Society?Rohit Parikh. In Johan van Benthem, Amitabha Gupta, Rohit Parikh, editors, Proof, Computation and Agency - Logic at the Crossroads. Volume 352 of Synthese library, pages 19-31, Springer, 2011. [doi]

Beth definability, interpolation and language splittingRohit Parikh. synthese, 179(2):211-221, 2011. [doi]

Logic in India - Editorial IntroductionHans P. van Ditmarsch, Rohit Parikh, Ramaswamy Ramanujam. jphil, 40(5):557-561, 2011. [doi]

2009

Knowledge and Structure in Social AlgorithmsRohit Parikh. RelMiCS 2009: 1-12 [doi]

Knowledge, Games and Tales from the EastRohit Parikh. icla 2009: 65-76 [doi]

2008

Probabilistic Conditionals are Almost MonotonicMatthew P. Johnson, Rohit Parikh. rsl, 1(1):73-80, 2008. [doi]

Sentences, Belief and Logical Omniscience, or What does Deduction Tell US?Rohit Parikh. rsl, 1(4):459-476, 2008. [doi]

2007

Some Puzzles About Probability and Probabilistic ConditionalsRohit Parikh. lfcs 2007: 449-456 [doi]

2006

The Logic of Knowledge Based ObligationEric Pacuit, Rohit Parikh, Eva Cogan. synthese, 149(2):311-341, 2006. [doi]

2005

Conditional Probability and Defeasible InferenceHoracio L. Arló-Costa, Rohit Parikh. jphil, 34(1):97-119, 2005. [doi]

Finite information logicRohit Parikh, Jouko A. Väänänen. APAL, 134(1):83-93, 2005. [doi]

Logical omniscience and common knowledge: WHAT do we know and what do WE know?Rohit Parikh. tark 2005: 62-77 [doi]

2004

Knowledge-Theoretic Properties of Strategic VotingSamir Chopra, Eric Pacuit, Rohit Parikh. jelia 2004: 18-30 [doi]

The Logic of Communication GraphsEric Pacuit, Rohit Parikh. dalt 2005: 256-269 [doi]

2003

A Knowledge Based Semantics of MessagesRohit Parikh, Ramaswamy Ramanujam. jolli, 12(4):453-467, 2003. [doi]

Editorial IntroductionMarc Pauly, Rohit Parikh. sLogica, 75(2):163-164, 2003. [doi]

Game Logic - An OverviewMarc Pauly, Rohit Parikh. sLogica, 75(2):165-182, 2003. [doi]

2002

States of KnowledgeRohit Parikh. ENTCS, 67:49-60, 2002. [doi]

Social SoftwareRohit Parikh. synthese, 132(3):187-211, 2002. [doi]

Completeness of Certain Bimodal Logics for Subset SpacesM. Angela Weiss, Rohit Parikh. sLogica, 71(1):1-30, 2002.

2001

Approximate Belief RevisionSamir Chopra, Rohit Parikh, Renata Wassermann. igpl, 9(6):755-768, 2001. [doi]

Relevance Sensitive Non-Monotonic Inference on Belief SequencesSamir Chopra, Konstantinos Georgatos, Rohit Parikh. jancl, 11(1-2):131-150, 2001.

Sock Sorting: An Example of a Vague AlgorithmRohit Parikh, Laxmi Parida, Vaughan R. Pratt. igpl, 9(5):687-692, 2001. [doi]

2000

Relevance sensitive belief structuresSamir Chopra, Rohit Parikh. AMAI, 28(1-4):259-285, 2000.

Gems of Theoretical Computer Science, Uwe Schöning and Randall PruimRohit Parikh. jolli, 9(1):131-132, 2000.

1999

An Inconsistency Tolerant Model for Belief Representation and Belief RevisionSamir Chopra, Rohit Parikh. IJCAI 1999: 192-199

1998

Length and Structure of ProofsRohit Parikh. synthese, 114(1):41-48, 1998. [doi]

Propositions, Propositional Attitudes and Belief RevisionRohit Parikh. aiml 2000: 381-400

1996

Topological Reasoning and the Logic of KnowledgeAndrew Dabrowski, Lawrence S. Moss, Rohit Parikh. APAL, 78(1-3):73-110, 1996.

1995

A Logical Study of Distributed Transition SystemsKamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan. iandc, 119(1):91-118, May 1995.

Knowledge Based Computation (Extended Abstract)Rohit Parikh. amast 1995: 127-132

1994

Logical OmniscienceRohit Parikh. lcc 1995: 22-29

1992

Topological Reasoning and The Logic of KnowledgeLawrence S. Moss, Rohit Parikh. tark 1992: 95-105

1991

PrefaceRohit Parikh. iandc, 93(1), July 1991.

Monotonic and non-monotonic logics of knowledgeRohit Parikh. FUIN, 15(3-4):255-274, 1991.

Dumb-Founded SetsRohit Parikh. eatcs, 43:183, 1991.

A test for fuzzy logicRohit Parikh. sigact, 22(3):49-50, 1991. [doi]

1990

Recent Issues in Reasoning about KnowledgeRohit Parikh. tark 1990: 3-10

1989

Decidability and Undecidability in Distributed Transition SystemsRohit Parikh. In R. Narasimhan, editor, A Perspective in Theoretical Computer Science - Commemorative Volume for Gift Siromoney. Volume 16 of World Scientific Series in Computer Science, pages 199-209, World Scientific, 1989. [doi]

1988

Meeting of the Association for Symbolic Logic: New York City, May 1987Martin Davis, Rohit Parikh. JSYML, 53(4):1270-1274, 1988.

1987

Some Recent Applications of KnowledgeRohit Parikh. fsttcs 1987: 528-539

Knowledge and the Problem of Logical OmniscienceRohit Parikh. ismis 1987: 432-439

1986

Levels of Knowledge in Distributed ComputingRohit Parikh. lics 1986: 314-321

Logic and Computation (Panel)Rohit Parikh. ifip 1986: 391-392

1985

Equations Between Regular Terms and an Application to Process LogicRohit Parikh, Ashok K. Chandra, Joseph Y. Halpern, Albert R. Meyer. SICOMP, 14(4):935-942, 1985.

Distributed Processes and the Logic of KnowledgeRohit Parikh, Ramaswamy Ramanujam. lop 1985: 256-268

1984

Logics of Knowledge, Games and Dynamic LogicRohit Parikh. fsttcs 1984: 202-222

1983

A Decision Procedure for the Propositional µ-CalculusDexter Kozen, Rohit Parikh. lop 1984: 313-325

Some Applications of Topology to Program SemanticsRohit Parikh. mst, 16(2):111-131, 1983.

A Theory of Probabilistic ProgramsRohit Parikh, Anne Mahoney. lop 1984: 396-402

Propositional Game LogicRohit Parikh. focs 1983: 195-200

Propositional Logics of Programs: New DirectionsRohit Parikh. fct 1983: 347-359

1982

Process Logic: Expressiveness, Decidability, CompletenessDavid Harel, Dexter Kozen, Rohit Parikh. jcss, 25(2):144-170, 1982.

1981

Equations between Regular Terms and an Application to Process LogicAshok K. Chandra, Joseph Y. Halpern, Albert R. Meyer, Rohit Parikh. stoc 1981: 384-390

Pumping Lemmas for Regular SetsAndrzej Ehrenfeucht, Rohit Parikh, Grzegorz Rozenberg. SICOMP, 10(3):536-541, 1981.

An Elementary Proof of the Completness of PDLDexter Kozen, Rohit Parikh. TCS, 14:113-118, 1981.

Definability in Dynamic LogicAlbert R. Meyer, Rohit Parikh. jcss, 23(2):279-298, 1981.

Some Applications of Topology to Program SemanticsRohit Parikh. lop 1982: 375-386

1980

Process Logic: Expressiveness, Decidability, CompletenessDavid Harel, Dexter Kozen, Rohit Parikh. focs 1980: 129-142

Definability in Dynamic LogicAlbert R. Meyer, Rohit Parikh. stoc 1980: 1-7

Propositional Logics of Programs: Systems, Models, and ComplexityRohit Parikh. POPL 1980: 186-192

1979

Propositional Dynamic Logics of Programs: a SurveyRohit Parikh. lop 1981: 102-144

1978

A Decidability Result for a Second Order Process LogicRohit Parikh. focs 1978: 177-183

The Completeness of Propositional Dynamic LogicRohit Parikh. mfcs 1978: 403-415

1971

Existence and Feasibility in ArithmeticRohit Parikh. JSYML, 36(3):494-508, 1971.

1966

On Context-Free LanguagesRohit Parikh. JACM, 13(4):570-581, 1966. [doi]

Sign in or sign up to see more results.

runs on WebDSL