Dependence Logic (eBook)

Samson Abramsky, Christopher Strachey Professor of Computing, Department of Computer Science, Oxford University, UKJuha Kontinen, Academy Research Fellow, Department of Mathematics and Statistics, Helsinki University, FinlandJouko Väänänen, Dean of the Faculty of Science and Professor, Department of Mathematics and Statistics, Helsinki University, Finland; Professor, University of Amsterdam, The NetherlandsHeribert Vollmer, Faculty of Electrical Engineering and Computer Science, Theoretical Computer Science Institute, University of Hannover, Germany

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.