Overview
- Covers a relatively new area of logic, introduced by Väänänen, that has seen rapid development
- Dependence logic has applications in numerous, seemingly unrelated subjects, including causality, random variables in statistics, database theory, Mendelian genetics, and quantum physics
- Will be of interest to a broad group of logicians, mathematicians, statisticians, philosophers, and scientists
- Includes supplementary material: sn.pub/extras
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (12 chapters)
Keywords
About this book
- a comprehensive survey of many propositional, modal, and first-order variants of dependence logic;
- new results concerning expressive power of several variants of dependence logic with different sets of logical connectives and generalized dependence atoms;
- connections between inclusion logic and the least-fixed point logic;
- an overview of dependencies in databases by addressing the relationships between implication problems for fragments of statistical conditional independencies, embedded multivalued dependencies, and propositional logic;
- various Markovian models used to characterize dependencies and causality among variables in multivariate systems;
- applications of dependence logic in social choice theory; and
- an introduction to the theory of secret sharing, pointing out connections to dependence and independence logic.
Editors and Affiliations
About the editors
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
Bibliographic Information
Book Title: Dependence Logic
Book Subtitle: Theory and Applications
Editors: Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer
DOI: https://doi.org/10.1007/978-3-319-31803-5
Publisher: Birkhäuser Cham
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Hardcover ISBN: 978-3-319-31801-1Published: 06 July 2016
Softcover ISBN: 978-3-319-81123-9Published: 24 June 2018
eBook ISBN: 978-3-319-31803-5Published: 29 June 2016
Edition Number: 1
Number of Pages: XIV, 276
Number of Illustrations: 23 b/w illustrations
Topics: Mathematical Logic and Foundations, Mathematical Logic and Formal Languages, Logic