arrow
Return

Functional Dependence in Uniform Dependence Model

delete2026-01-01
delete0
PRE
AI
C
Chenwei Shi
W
Wenfei Ouyang *
DOI:10.1007/978-981-95-2481-5_9delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
This paper studies the representation theorem of functional dependence relation in uniform dependence models, where local and global functional dependence relations coincide. We simplify the construction in the proof provided by Baltag and van Benthem [2] and take a deeper look into the simplified construction. Moreover, we demonstrate the impossibility of representing some disjunctive functional dependence in a uniform dependence model.
Keywords:
Functional dependence relation
Representation theorem
Uniform dependence model

Journal

L
LOGIC, RATIONALITY, AND INTERACTION, LORI 2025
IF:
0
Papers:
12
Citations:
0

Organization

T
tsinghua university
Scholars:
11.8W
Papers: 10.0W
Citations: 137