Dependence Logic Theory and Applications /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Abramsky, Samson (Επιμελητής έκδοσης), Kontinen, Juha (Επιμελητής έκδοσης), Väänänen, Jouko (Επιμελητής έκδοσης), Vollmer, Heribert (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Birkhäuser, 2016.
• Θέματα: Mathematics.; Logic.; Mathematical logic.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.

In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributin...

Πίνακας περιεχομένων:

• 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.