Axiomatizing first-order consequences in dependence logic
From MaRDI portal
Publication:388209
DOI10.1016/j.apal.2013.05.006zbMath1315.03062arXiv1208.0176OpenAlexW2963371301MaRDI QIDQ388209
Publication date: 19 December 2013
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1208.0176
Database theory (68P15) Other nonclassical logic (03B60) Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85)
Related Items
Dependence logic with generalized quantifiers: axiomatizations ⋮ Boolean dependence logic and partially-ordered connectives ⋮ Propositional logics of dependence ⋮ A finite axiomatization of conditional independence and inclusion dependencies ⋮ Axiomatizations of team logics ⋮ COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES ⋮ Axiomatizing first order consequences in inclusion logic ⋮ Axiomatizing first-order consequences in independence logic ⋮ Breaking the Atom with Samson ⋮ A logical approach to context-specific independence ⋮ Negation and partial axiomatizations of dependence and independence logic revisited ⋮ CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES ⋮ Context-Specific and Local Independence in Markovian Dependence Structures ⋮ Dependence and Independence in Social Choice: Arrow’s Theorem ⋮ A Logical Approach to Context-Specific Independence ⋮ On Dependence Logic
Cites Work
- Some applications of Henkin quantifiers
- General models and entailment semantics for independence logic
- Dependence and independence
- Hierarchies in Dependence Logic
- An introduction to recursively saturated and resplendent models
- Compositional semantics for a language of imperfect information
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Axiomatizing first-order consequences in dependence logic