Axiomatizing first-order consequences in dependence logic
From MaRDI portal
Publication:388209
DOI10.1016/j.apal.2013.05.006zbMath1315.03062arXiv1208.0176MaRDI 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
68P15: Database theory
03B60: Other nonclassical logic
03C80: Logic with extra quantifiers and operators
03C85: Second- and higher-order model theory