Publications and Research

Document Type


Publication Date



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


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.



To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.