Chapter

Johan van Benthem on Logic and Information Dynamics

Volume 5 of the series Outstanding Contributions to Logic pp 101-119

Date:

On Dependence Logic

  • Pietro GallianiAffiliated withDepartment of Mathematics and Statistics, University of Helsinki Email author 
  • , Jouko VäänänenAffiliated withDepartment of Mathematics and Statistics, University of HelsinkiInstitute for Logic, Language and Computation, University of Amsterdam

* Final gross prices may vary according to local VAT.

Get Access

Abstract

Dependence logic extends the language of first order logic by means of dependence atoms and aims to establish a basic theory of dependence and independence underlying such seemingly unrelated subjects as causality, random variables, bound variables in logic, database theory, the theory of social choice, and even quantum physics. In this work we summarize the setting of dependence logic and recall the main results of this rapidly developing area of research.

Keywords

Dependence logic Independence Team semantics Database theory Belief representation