A Simple Logic of Functional Dependence

Journal of Philosophical Logic 50 (5):939-1005 (2021)
  Copy   BIBTEX


This paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers treated as modalities, within the setting of generalized assignment semantics for first order logic. The expressive strength, complete proof calculus and meta-properties of LFD are explored. Various language extensions are presented as well, up to undecidable modal-style logics for independence and dynamic logics of changing dependence models. Finally, more concrete settings for dependence are discussed: continuous dependence in topological models, linear dependence in vector spaces, and temporal dependence in dynamical systems and games.



    Upload a copy of this work     Papers currently archived: 92,261

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Generalized Quantifiers in Dependence Logic.Fredrik Engström - 2012 - Journal of Logic, Language and Information 21 (3):299-324.
Dependence Logic: A survey of some recent work.Juha Kontinen - 2013 - Philosophy Compass 8 (10):950-963.
On definability in dependence logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.
A Finite Axiomatization of G-Dependence.Gianluca Paolini - 2017 - Journal of Logic, Language and Information 26 (3):293-302.
The Dynamification of Modal Dependence Logic.Pietro Galliani - 2013 - Journal of Logic, Language and Information 22 (3):269-295.
From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.
Formal representations of dependence and groundedness.Edoardo Rivello - 2020 - Review of Symbolic Logic 13 (1):105-140.
Dependence Logic with a Majority Quantifier.Arnaud Durand, Johannes Ebbing, Juha Kontinen & Heribert Vollmer - 2015 - Journal of Logic, Language and Information 24 (3):289-305.
Epistemic Operators in Dependence Logic.Pietro Galliani - 2013 - Studia Logica 101 (2):367-397.


Added to PP

86 (#197,819)

6 months
51 (#88,160)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Alexandru Baltag
University of Amsterdam
Johan Van Benthem
University of Amsterdam

Citations of this work

Data-informed knowledge and strategies.Junli Jiang & Pavel Naumov - 2022 - Artificial Intelligence 309 (C):103727.
A Dynamic Logic of Data-Informed Knowledge.Kaya Deuser, Junli Jiang, Pavel Naumov & Wenxuan Zhang - 2024 - Journal of Philosophical Logic 53 (2):521-557.
Complete Logics for Elementary Team Properties.Juha Kontinen & Fan Yang - forthcoming - Journal of Symbolic Logic:1-41.

Add more citations

References found in this work

Causality: Models, Reasoning and Inference.Judea Pearl - 2000 - New York: Cambridge University Press.
Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.
Causality: Models, Reasoning and Inference.Judea Pearl - 2000 - Tijdschrift Voor Filosofie 64 (1):201-202.
Inquisitive Semantics.Ivano Ciardelli, Jeroen Groenendijk & Floris Roelofsen - 2018 - Oxford, England: Oxford University Press. Edited by J. A. G. Groenendijk & Floris Roelofsen.
Logical Dynamics of Information and Interaction.Johan van Benthem - 2011 - New York: Cambridge University Press.

View all 54 references / Add more references