Logga in

Abramsky, Samson

Dependence Logic

Abramsky, Samson - Dependence Logic, e-bok

115,95€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9783319318035
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

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

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

Utgivare
 
 
 
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

Liknande e-böcker