Dependence Logic: Theory and Applications

ISBN-13: 9783319811239 / Angielski / Miękka / 2018 / 276 str.

Samson Abramsky; Juha Kontinen; Jouko Vaananen

Spis treści

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.

O autorze

Samson Abramsky, Christopher Strachey Professor of Computing, Department of Computer Science, Oxford University, UK

Juha Kontinen, Academy Research Fellow, Department of Mathematics and Statistics, Helsinki University, Finland

Jouko Väänänen, Dean of the Faculty of Science and Professor, Department of Mathematics and Statistics, Helsinki University, Finland; Professor, University of Amsterdam, The Netherlands

Heribert Vollmer, Faculty of Electrical Engineering and Computer Science, Theoretical Computer Science Institute, University of Hannover, Germany