Dependence Logic: Theory and Applications

Dependence Logic: Theory and Applications

Paperback(Softcover reprint of the original 1st ed. 2016)

View All Available Formats & Editions
Use Standard Shipping. For guaranteed delivery by December 24, use Express or Expedited Shipping.

Product Details

ISBN-13: 9783319811239
Publisher: Springer International Publishing
Publication date: 06/27/2018
Edition description: Softcover reprint of the original 1st ed. 2016
Pages: 276
Product dimensions: 6.10(w) x 9.25(h) x (d)

About the Author

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

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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews