Dependence logic : theory and applications /: theory and applications. (2016)

• Record Type: Book
• Further Information: Note: Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer, editors.
• Editors: Abramsky, Samson, 1953-; Kontinen, Juha; Väänänen, J (Jouko), 1950-; Vollmer, Heribert, 1964-
• Contents: Introduction -- 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.
• Publisher Details: Switzerland : Birkhäuser
• Publication Date: 2016
• Extent: 1 online resource (xiv, 276 pages), illustrations
• Subjects: 511.3; Mathematics; Logic, Symbolic and mathematical; Linear dependence (Mathematics); MATHEMATICS -- General; Linear dependence (Mathematics); Logic, Symbolic and mathematical; Mathematics -- Logic; Philosophy -- Logic; Mathematical theory of computation; Philosophy: logic; Computer science; Logic; Mathematical foundations; Electronic books
• Languages: English
• ISBNs: 9783319318035; 3319318039; 3319318012; 9783319318011
• Related ISBNs: 9783319318011
• Notes: Note: Includes bibliographical references.; Note: Online resource; title from PDF title page (SpringerLink, viewed July 12, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.