Independence-friendly logic : a game-theoretic approach /

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 push...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Mann, Allen L. (Allen Lawrence)
Otros Autores: Sandu, Gabriel, Sevenster, Merlijn
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge ; New York : Cambridge University Press, 2011.
Colección:London Mathematical Society lecture note series ; 386.
Temas:
First-order logic.
Game theory.
Game Theory
Logique du premier ordre.
Théorie des jeux.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares