arXiv Open Access 2021

A Simple Logic of Functional Dependence

Alexandru Baltag Johan van Benthem

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.LO math.LO

Penulis (2)

Alexandru Baltag

Johan van Benthem

Format Sitasi

APA MLA BibTeX

Baltag, A., Benthem, J.v. (2021). A Simple Logic of Functional Dependence. https://arxiv.org/abs/2103.14946

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2021
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓