Dependence Logic Theory and Applications /

In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributin...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Abramsky, Samson (Editor ), Kontinen, Juha (Editor ), Väänänen, Jouko (Editor ), Vollmer, Heribert (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Birkhäuser, 2016.
Edición:1st ed. 2016.
Temas:
Mathematical logic.
Machine theory.
Logic.
Mathematical Logic and Foundations.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Introduction
  • Durand, Kontinen, Vollmer, Expressivity and Complexity of Dependence Logic
  • Väänänen, Grelling on Dependence
  • Galliani, On Strongly First-Order Dependencies
  • Grädel, Games for Inclusion Logic and Fixed-Point Logic
  • Hodges, Remarks on Compositionality
  • Hirvonen, Independence in Model Theory
  • Ciardelli, Dependency as Question Entailment
  • Link, Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data
  • Nyman, Pensar, Corander, Context-Specific and Local Independence in Markovian Dependence Structures
  • Pacuit, Fang, Dependence and Independence in Social Choice: Arrow's Theorem
  • Blass, Introduction to Secret-Sharing.

Ejemplares similares