Hierarchies in Dependence Logic
From MaRDI portal
Publication:2946680
DOI10.1145/2362355.2362359zbMath1352.03039OpenAlexW2079986269MaRDI QIDQ2946680
Publication date: 17 September 2015
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2362355.2362359
Other nonclassical logic (03B60) Logic in computer science (03B70) Descriptive complexity and finite models (68Q19)
Related Items
Boolean dependence logic and partially-ordered connectives, A parameterized view on the complexity of dependence logic, On definability of team relations with \(k\)-invariant atoms, Axiomatizing first-order consequences in dependence logic, Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic, Unnamed Item, Unnamed Item, Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information, Transition semantics: the dynamics of dependence logic, Dynamic Logics of Imperfect Information: From Teams and Games to Transitions, The expressive power of \(k\)-ary exclusion logic, CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES, Safe dependency atoms and possibility operators in team semantics, Expressivity and Complexity of Dependence Logic, On Strongly First-Order Dependencies, Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data, Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions, The Expressive Power of k-ary Exclusion Logic, On Dependence Logic
