Axiomatizing first order consequences in inclusion logic
From MaRDI portal
Publication:5119909
DOI10.1002/malq.201900031OpenAlexW3003617023MaRDI QIDQ5119909
Publication date: 9 September 2020
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1904.06227
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Axiomatizing first-order consequences in dependence logic
- Axiomatizing first-order consequences in independence logic
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- Inclusion dependencies and their interaction with functional dependencies
- Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic
- Dependence and independence
- Negation and partial axiomatizations of dependence and independence logic revisited
- A finite axiomatization of conditional independence and inclusion dependencies
- Hierarchies in Inclusion Logic with Lax Semantics
- Hierarchies in independence logic
- Relational queries computable in polynomial time
- An introduction to recursively saturated and resplendent models
- Compositional semantics for a language of imperfect information
- On the Interaction of Inclusion Dependencies with Independence Atoms
- On Natural Deduction in Dependence Logic
- Games for Inclusion Logic and Fixed-Point Logic
- Dependence and Independence in Social Choice: Arrow’s Theorem
- Hierarchies in independence and inclusion logic with strict semantics
- Counting in Team Semantics
- A Finite Axiomatization of Conditional Independence and Inclusion Dependencies
- Complexity thresholds in inclusion logic
This page was built for publication: Axiomatizing first order consequences in inclusion logic
