General models and entailment semantics for independence logic
From MaRDI portal
Publication:1949170
DOI10.1215/00294527-1960506zbMath1269.03031MaRDI QIDQ1949170
Publication date: 25 April 2013
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1361454977
03B60: Other nonclassical logic
03F03: Proof theory in general (including proof-theoretic semantics)
Related Items
On the complexity of team logic and its two-variable fragment, Propositional logics of dependence, Axiomatizing first-order consequences in dependence logic, Axiomatizing first-order consequences in independence logic, A finite axiomatization of conditional independence and inclusion dependencies
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
- Generalized quantifiers in dependence logic
- Some combinatorics of imperfect information
- Compositional semantics for a language of imperfect information
- Completeness in the theory of types