General models and entailment semantics for independence logic

DOI10.1215/00294527-1960506zbMath1269.03031OpenAlexW1964529895MaRDI QIDQ1949170

Pietro Galliani

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

zbMATH Keywords

proof systemindependence logicvalidity problementailment semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (5)

Propositional logics of dependence ⋮ A finite axiomatization of conditional independence and inclusion dependencies ⋮ Axiomatizing first-order consequences in dependence logic ⋮ Axiomatizing first-order consequences in independence logic ⋮ On the complexity of team logic and its two-variable fragment

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

This page was built for publication: General models and entailment semantics for independence logic