|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Samson Abramsky , Juha Kontinen , Jouko Väänänen , Heribert VollmerPublisher: Birkhauser Verlag AG Imprint: Birkhauser Verlag AG Edition: 1st ed. 2016 Dimensions: Width: 15.50cm , Height: 1.80cm , Length: 23.50cm Weight: 0.606kg ISBN: 9783319318011ISBN 10: 3319318012 Pages: 276 Publication Date: 06 July 2016 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsIntroduction.- Durand, Kontinen, Vollmer, Expressivity and Complexity of Dependence Logic.- Väänänen, Grelling on Dependence.- Galliani, On Strongly First-Order Dependencies.- Grädel, Games for Inclusion Logic and Fixed-Point Logic.- Hodges, Remarks on Compositionality.- Hirvonen, Independence in Model Theory.- Ciardelli, Dependency as Question Entailment.- Link, Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data.- Nyman, Pensar, Corander, Context-Specific and Local Independence in Markovian Dependence Structures.- Pacuit, Fang, Dependence and Independence in Social Choice: Arrow's Theorem.- Blass, Introduction to Secret-Sharing.ReviewsAuthor InformationSamson Abramsky, Christopher Strachey Professor of Computing, Department of Computer Science, Oxford University, UK Juha Kontinen, Academy Research Fellow, Department of Mathematics and Statistics, Helsinki University, Finland Jouko Väänänen, Dean of the Faculty of Science and Professor, Department of Mathematics and Statistics, Helsinki University, Finland; Professor, University of Amsterdam, The Netherlands Heribert Vollmer, Faculty of Electrical Engineering and Computer Science, Theoretical Computer Science Institute, University of Hannover, Germany Tab Content 6Author Website:Countries AvailableAll regions |