Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Modal Dependence Logics: Axiomatizations and Model-theoretic Properties   Modal dependence logics are modal logics defined on the basis of team
semantics and have the downward closure property. In this paper, we introduce
sound and complete deduction systems for the major modal dependence logics,
especially those with intuitionistic connectives in their languages. We also
establish a concrete connection between team semantics and single-world
semantics, and show that modal dependence logics can be interpreted as variants
of intuitionistic modal logics.

27
The categories of this paper are: comp-gas
28
The categories of this paper are: alg-geom
30
The categories of this paper are: q-alg
0
The categories of this paper are: hep-ph
25
The categories of this paper are: patt-sol
1
The categories of this paper are: cs
24
The categories of this paper are: dg-ga
20
The categories of this paper are: acc-phys
12
The categories of this paper are: nucl-th
4
The categories of this paper are: cond-mat
19
The categories of this paper are: eess
6
The categories of this paper are: astro-ph
16
The categories of this paper are: stat
26
The categories of this paper are: bayes-an
17
The categories of this paper are: q-fin
37
The categories of this paper are: supr-con