Login

Abramsky, Samson

Dependence Logic

Abramsky, Samson - Dependence Logic, ebook

130,70€

Ebook, PDF with Adobe DRM
ISBN: 9783319318035
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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

Keywords: Mathematics, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages, Logic

Editor
 
 
 
Publisher
Springer
Publication year
2016
Language
en
Edition
1
Category
Natural Sciences
Format
Ebook
eISBN (PDF)
9783319318035
Printed ISBN
978-3-319-31801-1

Similar titles