Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Arts and Humanities
D-Structures And Their Semantics, Rohit J. Parikh
D-Structures And Their Semantics, Rohit J. Parikh
Publications and Research
"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 …