Publications and Research
Document Type
Article
Publication Date
1972
Abstract
"Many logicians are familiar with the game theoretic approach to semantics, due to Jaakko Hintikka. This paper by me contains class notes of a logic course at Boston University in fall 1972. It has similar game theoretic ideas, developed quite independently, but influenced by the work of A. Ehrenfeucht. It applies to a larger class of logics, including classical logic, intuitionistic logic and the *-semantics of Ehrenfeucht. The treatment is via D-structures which are finite approximations of infinite structures. For various reasons I did not publish this paper then, but some abstracts, both by myself as well as joint abstracts with Dick De Jongh, Nick Goodman and John Mayberry WERE published in 1972 in the notices of the AMS as well as the Journal of Symbolic Logic. The paper itself finally appeared in the volume to celebrate the 50th birthday of Johan van Benthem."
Comments
This work was done during 1971-72, some of it jointly with John Mayberry, Dick de Jongh and others. Abstracts were published in 1972 but the paper itself was published only in 1999 in a volume to honor Johan van Benthem's 50th birthday.