Hierarchies in independence logic
From MaRDI portal
Publication:2958527
DOI10.4230/LIPIcs.CSL.2013.263zbMath1356.03070arXiv1304.4391OpenAlexW2964084990MaRDI QIDQ2958527
Miika Hannula, Juha Kontinen, Pietro Galliani
Publication date: 2 February 2017
Full work available at URL: https://arxiv.org/abs/1304.4391
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (23)
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 ⋮ On definability of team relations with \(k\)-invariant atoms ⋮ Modal Inclusion Logic: Being Lax is Simpler than Being Strict ⋮ COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES ⋮ Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic ⋮ Axiomatizing first order consequences in inclusion logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ 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 ⋮ Expressivity and Complexity of Dependence Logic ⋮ On Strongly First-Order Dependencies ⋮ Unnamed Item ⋮ Complexity thresholds in inclusion logic ⋮ The Expressive Power of k-ary Exclusion Logic ⋮ Model Checking and Validity in Propositional and Modal Inclusion Logics ⋮ On Dependence Logic
This page was built for publication: Hierarchies in independence logic