Dependence Logic, Theory and Applications - researchr publication

researchr

You are not signed in
Sign in
Sign up

Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer, editors, Dependence Logic, Theory and Applications. Springer, 2016. [doi]

Abstract is missing.

IntroductionSamson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer. 1-3 [doi]

Expressivity and Complexity of Dependence LogicArnaud Durand 0001, Juha Kontinen, Heribert Vollmer. 5-32 [doi]

Grelling on DependenceJouko Väänänen. 33-52 [doi]

On Strongly First-Order DependenciesPietro Galliani. 53-71 [doi]

Games for Inclusion Logic and Fixed-Point LogicErich Grädel. 73-98 [doi]

Remarks on CompositionalityWilfrid Hodges. 99-107 [doi]

Independence in Model TheoryÅsa Hirvonen. 109-128 [doi]

Dependency as Question EntailmentIvano Ciardelli. 129-181 [doi]

Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete DataSebastian Link. 183-217 [doi]

Context-Specific and Local Independence in Markovian Dependence StructuresHenrik J. Nyman, Johan Pensar, Jukka Corander. 219-234 [doi]

Dependence and Independence in Social Choice: Arrow's TheoremEric Pacuit, Fan Yang. 235-260 [doi]

Introduction to Secret-SharingAndreas Blass. 261-276 [doi]

runs on WebDSL