Abstract
The leading ideas of game-theoretical semantics (GTS) can be seen best from a special case of the semantics of quantifiers. In using quantifiers and in theorizing about them, it is hard not to use game-laden terms. This chapter focuses on the game-theoretical semantics (GTS). The game-theoretical interpretation for the ordinary first-order languages is extended to cover also the sentences of the new language. The game rules for the new language is the same as the old ones. The only essential difference between the new and the old games is, thus, that the former are the games of imperfect information. The resulting logic is called “independence friendly (IF) first-order logic” and the languages associated with it are IF first-order languages. GTS is only one of the possible semantical treatments of first-order logic.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
