Independence logic and abstract independence relations

DOI10.1002/malq.201400031zbMath1360.03075arXiv1401.6907OpenAlexW2963524930MaRDI QIDQ5258482

Gianluca Paolini

Publication date: 22 June 2015

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1401.6907

zbMATH Keywords

model theoryabstract elementary classindependence logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Properties of classes of models (03C52) Abstract elementary classes and related topics (03C48)

Related Items

A logical approach to context-specific independence

Cites Work

• Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies
• First-order theories of abstract dependence relations
• Axioms and algorithms for inferences involving probabilistic independence
• Dependence relation in pregeometries
• Dependence and independence
• Independence in finitary abstract elementary classes
• On the undecidability of implications between embedded multivalued database dependencies
• DEPENDENCE LOGIC IN PREGEOMETRIES AND ω-STABLE THEORIES
• A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING
• Definable Sets in Ordered Structures. I
• Compositional semantics for a language of imperfect information
• Forking in Simple Unstable Theories