Publication:2958528
From MaRDI portal
DOI10.4230/LIPIcs.CSL.2013.281zbMath1356.03071arXiv1304.4267MaRDI QIDQ2958528
Publication date: 2 February 2017
Full work available at URL: https://arxiv.org/abs/1304.4267
Related Items
Boolean dependence logic and partially-ordered connectives, Propositional union closed team logics, A double team semantics for generalized quantifiers, A finite axiomatization of conditional independence and inclusion dependencies, Doubly strongly first order dependencies, A parameterized view on the complexity of dependence logic, Enumerating teams in first-order team logics, Questions and dependency in intuitionistic logic, COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES, Upwards closed dependencies in team semantics, Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic, Strongly first order, domain independent dependencies: the union-closed case, Axiomatizing first order consequences in inclusion logic, Unnamed Item, Unnamed Item, Propositional team logics, The expressive power of \(k\)-ary exclusion logic, Approximation and dependence via multiteam semantics, CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES, Safe dependency atoms and possibility operators in team semantics, Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals, Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals, Expressivity and Complexity of Dependence Logic, On Strongly First-Order Dependencies, Games for Inclusion Logic and Fixed-Point Logic, Dependency Concepts up to Equivalence., Complexity thresholds in inclusion logic, The Expressive Power of k-ary Exclusion Logic, Counting of Teams in First-Order Team Logics, Model Checking and Validity in Propositional and Modal Inclusion Logics, On Dependence Logic, Unnamed Item
