Description |
1 online resource (vi, 208 pages). |
Physical Medium |
polychrome |
Description |
text file |
Series |
London Mathematical Society lecture note series ; 386
|
|
London Mathematical Society lecture note series ; 386.
|
Bibliography |
Includes bibliographical references (pages 198-202) and index. |
Contents |
Machine generated contents note: 1. Introduction -- 2. Game theory -- 2.1. Extensive games -- 2.2. Strategic games -- 3. First-order logic -- 3.1. Syntax -- 3.2. Models -- 3.3. Game-theoretic semantics -- 3.4. Logical equivalence -- 3.5. Compositional semantics -- 3.6. Satisfiability -- 4. Independence-friendly logic -- 4.1. Syntax -- 4.2. Game-theoretic semantics -- 4.3. Skolem semantics -- 4.4. Compositional semantics -- 4.5. Game-theoretic semantics redux -- 5. Properties of IF logic -- 5.1. Basic properties -- 5.2. Extensions of IF logic -- 5.3. Logical equivalence -- 5.4. Model theory -- 6. Expressive power of IF logic -- 6.1. Definability -- 6.2. Second-order logic -- 6.3. Existential second-order logic -- 6.4. Perfect recall -- 7. Probabilistic IF logic -- 7.1. Equilibrium semantics -- 7.2. Monotonicity rules -- 7.3. Behavioral strategies and compositional semantics -- 7.4. Elimination of strategies -- 7.5. Expressing the rationals -- 8. Further topics -- 8.1. Compositionality -- 8.2. IF modal logic. |
Summary |
Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic. It emphasizes the game-theoretical approach to logic, according to which logical concepts such as truth and falsity are best understood via the notion of semantic games. The book pushes the paradigm of game-theoretical semantics further than the current literature by showing how mixed strategies and equilibria can be used to analyze independence-friendly formulas on finite models. The book is suitable for graduate students and advanced undergraduates who have taken a course on first-order logic. It contains a primer of the necessary background in game theory, numerous examples and full proofs. |
Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
Subject |
First-order logic.
|
|
First-order logic. |
|
Game theory.
|
|
Game theory. |
Genre/Form |
Electronic books.
|
Added Author |
Sandu, Gabriel.
|
|
Sevenster, Merlijn.
|
Cover Title |
Combinatorics, geometry and probability |
Other Form: |
Print version: Combinatorics, Geometry and Probability. Cambridge Univ Pr 2011 9780521149341 (OCoLC)694393901 |
ISBN |
9781139077989 (electronic book) |
|
1139077988 (electronic book) |
|
9781139080279 |
|
113908027X |
|
9780511981418 (ebook) |
|
0511981414 (ebook) |
|
9780521149341 |
|
0521149347 |
|