Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Propositional Team Logics   We consider team semantics for propositional logic, continuing our previous
work (Yang & V\"a\"an\"anen 2016). In team semantics the truth of a
propositional formula is considered in a set of valuations, called a team,
rather than in an individual valuation. This offers the possibility to give
meaning to concepts such as dependence, independence and inclusion. We define
an expressively maximal propositional team logic, called full propositional
team logic. This requires going beyond the logical operations of classical
propositional logic. We exhibit a hierarchy of logics between the smallest,
viz. classical propositional logic, and the full propositional team logic. We
characterize these different logics in several ways: first syntactically by
their logical operations, and then semantically by the kind of sets of teams
they are capable of defining. In several important cases we are able to find
complete axiomatizations for these logics.

5
The categories of this paper are: gr-qc
37
The categories of this paper are: supr-con
1
The categories of this paper are: cs
16
The categories of this paper are: stat
23
The categories of this paper are: solv-int
22
The categories of this paper are: chao-dyn
0
The categories of this paper are: hep-ph
31
The categories of this paper are: ao-sci
35
The categories of this paper are: mtrl-th
7
The categories of this paper are: hep-th
9
The categories of this paper are: nlin
3
The categories of this paper are: physics
34
The categories of this paper are: chem-ph
29
The categories of this paper are: funct-an
36
The categories of this paper are: cmp-lg
15
The categories of this paper are: nucl-ex