Dependence Logic

Chapter 1 Introduction

Chapter 2 Expressivity and Complexity of Dependence Logic

Chapter 3 Grelling on Dependence

Chapter 4 On Strongly First-Order Dependencies

Chapter 5 Games for Inclusion Logic and Fixed-Point Logic

Chapter 7 Independence in Model Theory

Chapter 8 Dependency as Question Entailment

Chapter 9 Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data

Chapter 10 Context-Specific and Local Independence in Markovian Dependence Structures

Chapter 11 Dependence and Independence in Social Choice: Arrow’s Theorem

Chapter 12 Introduction to Secret-Sharing