Dependence and Independence
Logic in Computer Science
2012-08-28 v1 Logic
Abstract
We introduce an atomic formula intuitively saying that given variables are independent from given other variables if a third set of variables is kept constant. We contrast this with dependence logic. We show that our independence atom gives rise to a natural logic capable of formalizing basic intuitions about independence and dependence.
Keywords
Cite
@article{arxiv.1208.5268,
title = {Dependence and Independence},
author = {Erich Grädel and Jouko Väänänen},
journal= {arXiv preprint arXiv:1208.5268},
year = {2012}
}