| Description |
1 online resource (vi, 208 pages) |
| Series |
London Mathematical Society lecture note series ; 386 |
|
London Mathematical Society lecture note series ; 386.
|
| 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 |
| Bibliography |
Includes bibliographical references (pages 198-202) and index |
| Notes |
English |
|
Print version record |
| Subject |
First-order logic.
|
|
Game theory.
|
|
Game Theory
|
|
MATHEMATICS -- Infinity.
|
|
MATHEMATICS -- Logic.
|
|
First-order logic
|
|
Game theory
|
| Form |
Electronic book
|
| Author |
Sandu, Gabriel.
|
|
Sevenster, Merlijn.
|
| ISBN |
9781139077989 |
|
1139077988 |
|
9781139080279 |
|
113908027X |
|
9780511981418 |
|
0511981414 |
|
1107213398 |
|
9781107213395 |
|
1283112531 |
|
9781283112536 |
|
1139075721 |
|
9781139075725 |
|
9786613112538 |
|
6613112534 |
|
1139082558 |
|
9781139082556 |
|
1139069969 |
|
9781139069960 |
|
