scientific article
From MaRDI portal
Publication:2958528
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (32)
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
This page was built for publication:
