Axiomatizing first-order consequences in dependence logic

From MaRDI portal
Publication:388209

DOI10.1016/j.apal.2013.05.006zbMath1315.03062arXiv1208.0176OpenAlexW2963371301MaRDI QIDQ388209

Jouko Väänänen, Juha Kontinen

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




Related Items



Cites Work


This page was built for publication: Axiomatizing first-order consequences in dependence logic