
Proof, Computation and Agency: Logic at the Crossroads (edited book)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 logiclanguagecognition connection, where the articles co…Read more

7Knowledge, behavior, and rationality: rationalizability in epistemic gamesArchive for Mathematical Logic 60 (5): 599623. 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

32On knowledge and obligationEpisteme 9 (2): 171188. 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.

Justified True Belief: Plato, Gettier, and TuringIn Alisa Bokulich & Juliet Floyd (eds.), Philosophical Explorations of the Legacy of Alan Turing, Springer Verlag. 2017.

Propositions, Propositional Attitudes and Belief RevisionIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 399418. 2000.

2Review of Epistemology, A Contemporary Introduction to the Theory of Knowledge, by Robert Audi (review)Essays in Philosophy 9 (2): 261262. 2008.

Review of If P, then Q; Conditionals and the Foundations of Reasoning, by David H. Sanford (review)Essays in Philosophy 7 (1): 122125. 2006.

11Georg Kreisel and William W. Tait. Finite definability of numbertheoretic functions and parametric completeness of equational calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 28–38 (review)Journal of Symbolic Logic 32 (2): 270271. 1967.

11Sheila Greibach. A new normalform theorem for contextfree phrase structure grammars. Journal of the Association for Computing Machinery, vol. 12 , pp. 42–52 (review)Journal of Symbolic Logic 34 (4): 658. 1969.

15Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about knowledge. MIT Press, Cambridge, Mass., and London1995, xiii + 477 pp (review)Journal of Symbolic Logic 62 (4): 14841487. 1997.

The Complete Bibliography of Rohit ParikhIn Ramaswamy Ramanujam, Lawrence Moss & Can Başkent (eds.), Rohit Parikh on Logic, Language and Society, Springer Verlag. 2017.

Propositions, Propositional Attitudes and Belief RevisionIn Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 2, Csli Publications. pp. 399418. 2000.

26Some Generalisations of the Notion of Well OrderingMathematical Logic Quarterly 12 (1): 333340. 1966.

20Obituary: Horacio ArlócostaEpisteme 9 (2): 8989. 2012.Editorial Rohit Parikh, Jeffrey Helzner, Episteme, FirstView Article

'Abolition of the Fregean Axiom', in: Logic Colloquium, Symposium on Logic Held at Boston, 197273Erkenntnis 12 (3): 369380. 1978.

46Probabilistic conditionals are almost monotonicReview of Symbolic Logic 1 (1): 7380. 2008.One interpretation of the conditional If P then Q is as saying that the probability of Q given P is high. This is an interpretation suggested by Adams (1966) and pursued more recently by Edgington (1995). Of course, this probabilistic conditional is nonmonotonic, that is, if the probability of Q given P is high, and R implies P, it need not follow that the probability of Q given R is high. If we were confident of concluding Q from the fact that we knew P, and we have stronger information R, we c…Read more

91Vagueness and utility: The semantics of common nouns (review)Linguistics and Philosophy 17 (6). 1994.A utilitybased approach to the understanding of vague predicates (VPs) is proposed. It is argued that assignment of truth values to propositions containing VPs entails unjustifiable assumptions of consensus; two models of VP semantics are criticized on this basis: (1) the supertruth theory of Kit Fine (1975), which requires an unlikely consensus on base points; (2) the fuzzy logic of Lotfi Zadeh (1975), on fuzzy truth values of sentences. Pragmatism is held to provide a key: successful behavio…Read more

8Review: Sheila Greibach, A New NormalForm Theorem for ContextFree Phase Structure Grammars (review)Journal of Symbolic Logic 34 (4): 658658. 1969.

109Journal of Philosophical Logic 34, 97119, 2005.

8Review: David Harel, Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic (review)Journal of Symbolic Logic 50 (2): 552553. 1985.

6Harel David. Proving the correctness of regular deterministic programs: a unifying survey using dynamic logic. Theoretical computer science, vol. 12 , pp. 61–81 (review)Journal of Symbolic Logic 50 (2): 552553. 1985.

31Beth definability, interpolation and language splittingSynthese 179 (2). 2011.Both the Beth definability theorem and Craig's lemma (interpolation theorem from now on) deal with the issue of the entanglement of one language L1 with another language L2, that is to say, information transfer—or the lack of such transfer—between the two languages. The notion of splitting we study below looks into this issue. We briefly relate our own results in this area as well as the results of other researchers like Kourousias and Makinson, and Peppas, Chopra and Foo.Section 3 does contain …Read more

20Meeting of the association for symbolic logic: New York city, may 1987Journal of Symbolic Logic 53 (4): 12701274. 1988.

55Social SoftwareSynthese 132 (3): 187211. 2002.We suggest that the issue of constructing and verifying social procedures, which we suggestively call "social software", be pursued as systematically as computer software is pursued by computer scientists. Certain complications do arise with social software which do not arise with computer software, but the similarities are nonetheless strong, and tools already exist which would enable us to start work on this important project. We give a variety of suggestive examples and indicate some theoreti…Read more

12Review: Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi, Reasoning about Knowledge (review)Journal of Symbolic Logic 62 (4): 14841487. 1997.
New York City, New York, United States of America
Areas of Specialization
Philosophy of Language 
Logic and Philosophy of Logic 