Hierarchies in independence logic

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

zbMATH Keywords

existential second-order logicindependence logicinclusion logicexpressiveness hierarchies

Mathematics Subject Classification ID

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