On dependence logic
| Authors | |
|---|---|
| Publication date | 2014 |
| Host editors |
|
| Book title | Johan van Benthem on Logic and Information Dynamics |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Outstanding contributions to logic |
| Pages (from-to) | 101-119 |
| Publisher | Cham: Springer |
| Organisations |
|
| 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. |
| Document type | Chapter |
| Language | English |
| Published at | https://doi.org/10.1007/978-3-319-06025-5_4 |
| Published at | https://arxiv.org/abs/1305.5948 |
| Downloads |
1305.5948.pd
(Submitted manuscript)
|
| Permalink to this page | |