Rohit Parikh on Logic, Language and Society

  • Can Başkent
  • Lawrence S. Moss
  • Ramaswamy Ramanujam

Part of the Outstanding Contributions to Logic book series (OCTR, volume 11)

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Juliet Floyd
    Pages 1-35
  3. Jan van Eijck, Philip Elsas
    Pages 67-75
  4. Dominik Klein, Eric Pacuit
    Pages 77-89
  5. Joseph Y. Halpern
    Pages 111-119
  6. Johan van Benthem
    Pages 121-143
  7. Maduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek
    Pages 145-163
  8. Gabriel Sandu, Silviu Velica
    Pages 165-184
  9. Jouko Väänänen
    Pages 227-234
  10. Melvin Fitting
    Pages 235-258
  11. Konstantinos Georgatos
    Pages 259-277
  12. Vaughan Pratt
    Pages 299-322
  13. Noson S. Yanofsky
    Pages 323-347
  14. Rohit Parikh
    Pages 349-352
  15. Rohit Parikh
    Pages 353-359

About this book


This book discusses major milestones in Rohit Jivanlal Parikh’s scholarly work. Highlighting the transition in Parikh’s interest from formal languages to natural languages, and how he approached Wittgenstein’s philosophy of language, it traces the academic trajectory of a brilliant scholar whose work opened up various new avenues in research. 
This volume is part of Springer’s book series Outstanding Contributions to Logic, and honours Rohit Parikh and his works in many ways. Parikh is a leader in the realm of ideas, offering concepts and definitions that enrich the field and lead to new research directions. Parikh has contributed to a variety of areas in logic, computer science and game theory. In mathematical logic his contributions have been in recursive function theory, proof theory and non-standard analysis; in computer science, in the areas of modal, temporal and dynamic logics of programs and semantics of programs, as well as logics of knowledge; in artificial intelligence in the area of belief revision; and in game theory in the formal analysis of social procedures, with a strong undercurrent of philosophy running through all his work.
This is not a collection of articles limited to one theme, or even directly connected to specific works by Parikh, but instead all papers are inspired and influenced by Parikh in some way, adding structures to and enriching “Parikh-land”. The book presents a brochure-like overview of Parikh-land before providing an “introductory video” on the sights and sounds that you experience when reading the book.


Parikh Social Software Parikh Modal Logic Parikh Epistemic Logic Parikh Game Theory Parikh Wittgenstein Parikh Computability Analysis Parikh Parikh Mathematics Parikh Theoretical Computer Science Parikh Philosophy of Language Parikh Recursion Theory Parikh Proof Theory Parikh Social Procedure Parikh Social Algorithms Parikh Elections Parikh Monetary Systems Parikh's Theorem Parikh Vagueness Parikh Nonmonotonicity Parikh Syntax

Editors and affiliations

  • Can Başkent
    • 1
  • Lawrence S. Moss
    • 2
  • Ramaswamy Ramanujam
    • 3
  1. 1.Department of Computer ScienceUniversity of Bath Department of Computer ScienceBathUnited Kingdom
  2. 2.Department of MathematicsIndiana University BloomingtonBloomingtonUSA
  3. 3.Department of Theoretical Computer ScienceThe Institute of Mathematical SciencesTharamani, ChennaiIndia

Bibliographic information