Premium
Dependence Logic: A survey of some recent work
Author(s) -
Kontinen Juha
Publication year - 2013
Publication title -
philosophy compass
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.973
H-Index - 25
ISSN - 1747-9991
DOI - 10.1111/phc3.12072
Subject(s) - independence (probability theory) , computer science , epistemology , work (physics) , theoretical computer science , mathematics , philosophy , physics , statistics , quantum mechanics
Dependence logic and its many variants are new logics that aim at establishing a unified logical theory of dependence and independence underlying seemingly unrelated subjects. The area of dependence logic has developed rapidly in the past few years. We will give a short introduction to dependence logic and review some of the recent developments in the area.