Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Parameterised Complexity of Propositional Inclusion and Independence
  Logic   In this work we analyse the parameterised complexity of propositional
inclusion (PINC) and independence logic (PIND). The problems of interest are
model checking (MC) and satisfiability (SAT). The complexity of these problems
is well understood in the classical (non-parameterised) setting. Mahmood and
Meier (FoIKS 2020) recently studied the parameterised complexity of
propositional dependence logic (PDL). As a continuation of their work, we
classify inclusion and independence logic and thereby come closer to completing
the picture with respect to the parametrised complexity for the three most
studied logics in the propositional team semantics setting. We present results
for each problem with respect to 8 different parameterisations. It turns out
that for a team-based logic L such that L-atoms can be evaluated in polynomial
time, then MC parameterised by teamsize is FPT. As a corollary, we get an FPT
membership under the following parameterisations: formula-size, formula-depth,
treewidth, and number of variables. The parameter teamsize shows interesting
behavior for SAT. For PINC, the parameter teamsize is not meaningful, whereas
for PDL and PIND the satisfiability is paraNP-complete. Finally, we prove that
when parameterised by arity, both MC and SAT are paraNP-complete for each of
the considered logics.

27
The categories of this paper are: comp-gas
5
The categories of this paper are: gr-qc
24
The categories of this paper are: dg-ga
4
The categories of this paper are: cond-mat
6
The categories of this paper are: astro-ph
16
The categories of this paper are: stat
22
The categories of this paper are: chao-dyn
11
The categories of this paper are: hep-lat
7
The categories of this paper are: hep-th
29
The categories of this paper are: funct-an
33
The categories of this paper are: plasm-ph
30
The categories of this paper are: q-alg
3
The categories of this paper are: physics
23
The categories of this paper are: solv-int
36
The categories of this paper are: cmp-lg
14
The categories of this paper are: math-ph