Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Simple Logic of Functional Dependence   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.

27
The categories of this paper are: comp-gas
6
The categories of this paper are: astro-ph
4
The categories of this paper are: cond-mat
26
The categories of this paper are: bayes-an
3
The categories of this paper are: physics
22
The categories of this paper are: chao-dyn
9
The categories of this paper are: nlin
32
The categories of this paper are: atom-ph
37
The categories of this paper are: supr-con
28
The categories of this paper are: alg-geom
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat
25
The categories of this paper are: patt-sol
14
The categories of this paper are: math-ph
30
The categories of this paper are: q-alg
33
The categories of this paper are: plasm-ph