Dependence Logic Theory and Applications /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Abramsky, Samson (Editor), Kontinen, Juha (Editor), Väänänen, Jouko (Editor), Vollmer, Heribert (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Birkhäuser, 2016.
• Subjects: Mathematics.; Logic.; Mathematical logic.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.

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

Table of Contents:

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