Johan van Benthem
University of Amsterdam & Tsinghua University
Dependence is ubiquitous in science and daily life. We present a simple complete and decidable classical base logic for reasoning about functional dependence which can be seen as either a generalized first-order logic or as a modal logic interpreted epistemically. Next, we consider extensions for reasoning about correlations between variables, where the base logic for independence turns out to be undecidable. We end by enriching the framework with topological structure and continuous dependence.
This is joint work with Alexandru Baltag.
Alexandru Baltag & Johan van Benthem, A Minimal Logic of Functional Dependence, Journal of Philosophical Logic, 2021. --,
Continuous Dependence and Varieties of Knowability, in progress.