Abramsky, Samson
Dependence Logic
1. Introduction
Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer
2. Expressivity and Complexity of Dependence Logic
Arnaud Durand, Juha Kontinen, Heribert Vollmer
3. Grelling on Dependence
Jouko Väänänen
4. On Strongly First-Order Dependencies
Pietro Galliani
5. Games for Inclusion Logic and Fixed-Point Logic
Erich Grädel
6. Remarks on Compositionality
Wilfrid Hodges
7. Independence in Model Theory
Åsa Hirvonen
8. Dependency as Question Entailment
Ivano Ciardelli
9. Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data
Sebastian Link
10. Context-Specific and Local Independence in Markovian Dependence Structures
Henrik Nyman, Johan Pensar, Jukka Corander
11. Dependence and Independence in Social Choice: Arrow’s Theorem
Eric Pacuit, Fan Yang
12. Introduction to Secret-Sharing
Andreas Blass
Nyckelord: Mathematics, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages, Logic
- Utgivare
- Abramsky, Samson
- Kontinen, Juha
- Vollmer, Heribert
- Väänänen, Jouko
- Utgivare
- Springer
- Utgivningsår
- 2016
- Språk
- en
- Utgåva
- 1
- Sidantal
- 14 sidor
- Kategori
- Naturvetenskaper
- Format
- E-bok
- eISBN (PDF)
- 9783319318035
- Tryckt ISBN
- 978-3-319-31801-1