• Publications
  • Influence
On Context-Free Languages
  • R. Parikh
  • Mathematics, Computer Science
  • 1 October 1966
In this report, certain properties of context-free (CF or type 2) Grammars are investigated, like that of Chomsky, and it is shown that this type of grammar is essentially stronger than type 2 grammars and has the advantage over type 1 grammARS that the phrase structure of a grammatical sentence is unique, once the derivation is given.
Topological Reasoning and the Logic of Knowledge
A deeper answer is needed that areas of mathematics can be seen as repositories for the authors' intuitions about several aspects of ordinary life.
Beliefs, belief revision, and splitting languages
Much current work in the study of belief revision goes back to a now classic paper due to Alchourron, Gardenfors and Makinson [AGM]. The central issue is how to revise an existing set of beliefs T to
The logic of games and its applications
Abstract We develop a logic in which the basic objects of concern are games, or equivalently, monotone predicate transforms. we give completeness and decision results and extend to certain kinds of
Communication, consensus, and knowledge
Abstract We continue the work of Aumann (Ann. Statist. 4 (1976), 1236–1239), Geanakoplos and Polemarchakis, (J. Econ. Theory 28 (1982), 192–200), Cave (Econ. Lett. 12 (1983), 147–152), and Bacharach
Existence and Feasibility in Arithmetic
  • R. Parikh
  • Mathematics, Computer Science
    J. Symb. Log.
  • 1 September 1971
“From two integers k, l one passes immediately to k l ; this process leads in a few steps to numbers which are far larger than any occurring in experience, e.g., 67 (257729) . Intuitionism, like
Game Logic - An Overview
An overview of meta-theoretic results regarding this logic, also covering the algebraic version of the logic known as Game Algebra, which can be used to reason about determined 2-player games.
Distributed Processes and the Logic of Knowledge
We establish a very natural connection between distributed processes and the logic of knowledge which promises to shed light on both areas.
A Knowledge Based Semantics of Messages
The semantics of messages are investigated, and it is argued that the meaning of a message is naturally and usefully given in terms of how it affects the knowledge of the agents involved in the communication.