descriptionPublicationkeyboard_double_arrow_right Article , Preprint , Research , Report 15 Mar 2013 English Publisher:Springer Science and Business Media LLCJournal:Studia Logica, volume 101, pages 399-410 (issn: 0039-3215, eissn: 1572-8730,

Authors: Grädel, E.; Väänänen, J.;

doi: 10.1007/s11225-013-9479-2

arXiv: http://arxiv.org/abs/1208.5268

handle: 11245/1.441106 , 11245/1.426493

Dependence and Independence

- Summary
- Subjects
- Metrics

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.

Related Organizations

University of Helsinki
Finland
University of Amsterdam
Netherlands
RWTH Aachen University
Germany
RWTH Aachen University (Medical Faculty)
Germany

Keywords

03C80,, Computer Science - Logic in Computer Science, 330, F.4.1, Mathematics - Logic

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	148
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 1%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 1%