• Proof, Computation and Agency: Logic at the Crossroads (edited book)
    with Johan van Benthem and Amitabha Gupta
    Springer. 2011.
    Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles co…Read more
  •  7
    Knowledge, behavior, and rationality: rationalizability in epistemic games
    Archive for Mathematical Logic 60 (5): 599-623. 2021.
    In strategic situations, agents base actions on knowledge and beliefs. This includes knowledge about others’ strategies and preferences over strategy profiles, but also about other external factors. Bernheim and Pearce in 1984 independently defined the game theoretic solution concept of rationalizability, which is built on the premise that rational agents will only take actions that are the best response to some situation that they consider possible. This accounts for other agents’ rationality a…Read more
  •  32
    On knowledge and obligation
    with Can Başķent and Loes Olde Loohuis
    Episteme 9 (2): 171-188. 2012.
    This article provides a brief overview of several formal frameworks concerning the relation between knowledge on the one hand, and obligation on the other. We discuss the paradox of the knower, knowledge based obligation, knowingly doing, deontic dynamic epistemology, descriptive obligations, and responsibilities as dynamic epistemology.
  • Propositions, Propositional Attitudes and Belief Revision
    In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 399-418. 2000.
  • The Complete Bibliography of Rohit Parikh
    In Ramaswamy Ramanujam, Lawrence Moss & Can Başkent (eds.), Rohit Parikh on Logic, Language and Society, Springer Verlag. 2017.
  • Propositions, Propositional Attitudes and Belief Revision
    In Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 2, Csli Publications. pp. 399-418. 2000.
  •  4
    Logic in India—Editorial Introduction
    with R. Ramanujam and Hans van Ditmarsch
    Journal of Philosophical Logic 40 (5): 557-561. 2011.
  •  26
    Some Generalisations of the Notion of Well Ordering
    Mathematical Logic Quarterly 12 (1): 333-340. 1966.
  •  20
    Obituary: Horacio Arló-costa
    Episteme 9 (2): 89-89. 2012.
    Editorial Rohit Parikh, Jeffrey Helzner, Episteme, FirstView Article
  •  5
    Über die Länge yon Beweisen
    with Stefan Bauer-Mengelberg and Jean van Heijenoort
    Journal of Symbolic Logic 55 (1): 348-348. 1990.
  •  103
    Sentences, belief and logical omniscience, or what does deduction tell us?
    Review of Symbolic Logic 1 (4): 459-476. 2008.
    We propose a model for belief which is free of presuppositions. Current models for belief suffer from two difficulties. One is the well known problem of logical omniscience which tends to follow from most models. But a more important one is the fact that most models do not even attempt to answer the question what it means for someone to believe something, and just what it is that is believed. We provide a flexible model which allows us to give meaning to beliefs in general contexts, including th…Read more
  •  19
    How Far Can We Formalize Language Games?
    Vienna Circle Institute Yearbook 3 89-100. 1995.
    I want to start by giving some quotes from Wittgenstein. It is part of his conception of what the foundations of Mathematics are about, a conception which many people have found peculiar and one of my defects is that I am not able to find it peculiar anymore, but find it perfectly sensible
  •  111
    Conditional Probability and Defeasible Inference
    Journal of Philosophical Logic 34 (1). 2005.
    We offer a probabilistic model of rational consequence relations (Lehmann and Magidor, 1990) by appealing to the extension of the classical Ramsey-Adams test proposed by Vann McGee in (McGee, 1994). Previous and influential models of nonmonotonic consequence relations have been produced in terms of the dynamics of expectations (Gärdenfors and Makinson, 1994; Gärdenfors, 1993).'Expectation' is a term of art in these models, which should not be confused with the notion of expected utility. The exp…Read more
  •  108
    Game Logic - An Overview
    with Marc Pauly
    Studia Logica 75 (2): 165-182. 2003.
    Game Logic is a modal logic which extends Propositional Dynamic Logic by generalising its semantics and adding a new operator to the language. The logic can be used to reason about determined 2-player games. We present an overview of meta-theoretic results regarding this logic, also covering the algebraic version of the logic known as Game Algebra.
  •  25
  •  10
    Sock Sorting: An Example of a Vague Algorithm
    with Laxmi Parida and Vaughan Pratt
    Logic Journal of the IGPL 9 (5): 687-692. 2001.
    We give an example of a polynomial time algorithm for a particular algorithmic problem involving vagueness and visual indiscriminability, namely sock sorting
  •  5
    Review: Robert Goldblatt, Logics of Time and Computation (review)
    Journal of Symbolic Logic 56 (4): 1495-1496. 1991.
  • Modal Logic and Possible Worlds
    In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg, Uppsala Philosophical Studies 53. pp. 53--339. 2006.
  •  22
    It is a sunny autumn day, and our protagonists have taken their meals outside, to enjoy the mild rays of the September sun. The NIAS cook Paul Nolte, as always glowing with pride while serving out his delicious food, has prepared a traditional Dutch meal today with sausage, red cabbage and pieces of apple
  •  60
    The Logic of Knowledge Based Obligation
    with Eric Pacuit and Eva Cogan
    Synthese 149 (2): 311-341. 2006.
    Deontic Logic goes back to Ernst Mally’s 1926 work, Grundgesetze des Sollens: Elemente der Logik des Willens [Mally. E.: 1926, Grundgesetze des Sollens: Elemente der Logik des Willens, Leuschner & Lubensky, Graz], where he presented axioms for the notion ‘p ought to be the case’. Some difficulties were found in Mally’s axioms, and the field has much developed. Logic of Knowledge goes back to Hintikka’s work Knowledge and Belief [Hintikka, J.: 1962, Knowledge and Belief: An Introduction to the Lo…Read more
  •  21
    Vague Predicates and Language Games
    Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 11 (3): 97-107. 1996.
    Attempts to give a Logic or Semantics for vague predicates and to defuse the Sorites paradoxes have been largely a failure. We point out yet another problem with these predicates which has not been remarked on before,namely that different people do and must use these predicates in individually different ways. Thus even if there were a semantics for vague predicates, people would not be able to share it. To explain the occurrence nonetheless of these troublesome predicates in language, we propose…Read more