On Dependence Logic
Logic
2013-05-28 v1 Logic in Computer Science
Abstract
We give an overview of some developments in dependence and independence logic. This is a tiny selection, intended for a newcomer, from a rapidly growing literature on the topic. Furthermore, we discuss conditional independence atoms and we prove that conditional and non-conditional independence logic are equivalent. Finally, we briefly discuss an application of our logics to belief representation.
Cite
@article{arxiv.1305.5948,
title = {On Dependence Logic},
author = {Pietro Galliani and Jouko Väänänen},
journal= {arXiv preprint arXiv:1305.5948},
year = {2013}
}