Negation and partial axiomatizations of dependence and independence logic revisited
From MaRDI portal
Publication:2273016
DOI10.1016/j.apal.2019.04.010zbMath1477.03106arXiv1603.08579OpenAlexW2939647703WikidataQ128116913 ScholiaQ128116913MaRDI QIDQ2273016
Publication date: 18 September 2019
Published in: Annals of Pure and Applied Logic, Logic, Language, Information, and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1603.08579
Related Items (4)
Axiomatizations of team logics ⋮ Coherence in inquisitive first-order logic ⋮ COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES ⋮ Axiomatizing first order consequences in inclusion logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A double team semantics for generalized quantifiers
- Axiomatizing first-order consequences in dependence logic
- Axiomatizing first-order consequences in independence logic
- A remark on negation in dependence logic
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- On definability in dependence logic
- From IF to BI. A tale of dependence and separation
- Upwards closed dependencies in team semantics
- Axioms and algorithms for inferences involving probabilistic independence
- Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic
- Dependence and independence
- Expressing second-order sentences in intuitionistic dependence logic
- Erratum to: ``On definability in dependence logic
- A finite axiomatization of conditional independence and inclusion dependencies
- Modal independence logic:
- An undecidable problem in correspondence theory
- Compositional semantics for a language of imperfect information
- On Natural Deduction in Dependence Logic
- On Strongly First-Order Dependencies
- Dependence and Independence in Social Choice: Arrow’s Theorem
- Team Logic and Second-Order Logic
This page was built for publication: Negation and partial axiomatizations of dependence and independence logic revisited
