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.Expand

A deeper answer is needed that areas of mathematics can be seen as repositories for the authors' intuitions about several aspects of ordinary life.Expand

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… Expand

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… Expand

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… Expand

“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… Expand

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.Expand

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.Expand