Logic, Language and Games

The book offers a detailed introduction to game theory and its basic concepts, such as strategies, backward induction, Nash equilibrium, and then applies them to the study of logical and semantic notions like connectives, quantifiers, truth, and logical equivalence. The book gives a game-theoretical introduction to Hintikka and Sandu´s Independence-Friendly Logic (IF) logic, a logical system with exceeds the expressive power of ordinary first-order logic.