Dependence Logic: Theory and Applications

Book Overview

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.

• Format: Paperback
• Language: English
• ISBN: 3319811231
• ISBN13: 9783319811239
• Release Date: June 2018
• Publisher: Birkhauser
• Length: 276 Pages
• Weight: 0.91 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"