![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Dependence Logic 2016
- Samson Abramsky, Juha Kontinen
, Jouko Väänänen, Heribert Vollmer:
Dependence Logic, Theory and Applications. Springer 2016, ISBN 978-3-319-31801-1 - Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer:
Introduction. 1-3 - Arnaud Durand, Juha Kontinen
, Heribert Vollmer:
Expressivity and Complexity of Dependence Logic. 5-32 - Jouko Väänänen:
Grelling on Dependence. 33-52 - Pietro Galliani:
On Strongly First-Order Dependencies. 53-71 - Erich Grädel:
Games for Inclusion Logic and Fixed-Point Logic. 73-98 - Wilfrid Hodges:
Remarks on Compositionality. 99-107 - Åsa Hirvonen
:
Independence in Model Theory. 109-128 - Ivano Ciardelli:
Dependency as Question Entailment. 129-181 - Sebastian Link:
Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data. 183-217 - Henrik J. Nyman, Johan Pensar, Jukka Corander:
Context-Specific and Local Independence in Markovian Dependence Structures. 219-234 - Eric Pacuit, Fan Yang
:
Dependence and Independence in Social Choice: Arrow's Theorem. 235-260 - Andreas Blass:
Introduction to Secret-Sharing. 261-276
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.