Ebook: Logic, Language and Games

The book, Logic, Language and Games 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 also 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. The present study systematizes results on the probabilistic interpretation of IF logic which have appeared in various publications with the overall goal of understanding rational and logical reasoning in its strategic aspects.