Overview: Covers a relatively new area of logic, introduced by Väänänen, that has seen rapid development.Dependence logic has applications in numerous, seemingly unrelated subjects, including causality, random In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributing authors represent leading experts in this relatively new field, each of whom was invi
|