Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Rooted Hypersequent Calculus for Modal Logic S5   We present a rooted hypersequent calculus for modal propositional logic S5.
We show that all rules of this calculus are invertible and that the rules of
weakening, contraction, and cut are admissible. Soundness and completeness are
established as well.

26
The categories of this paper are: bayes-an
30
The categories of this paper are: q-alg
23
The categories of this paper are: solv-int
21
The categories of this paper are: adap-org
14
The categories of this paper are: math-ph
6
The categories of this paper are: astro-ph
0
The categories of this paper are: hep-ph
34
The categories of this paper are: chem-ph
10
The categories of this paper are: q-bio
8
The categories of this paper are: hep-ex
24
The categories of this paper are: dg-ga
3
The categories of this paper are: physics
25
The categories of this paper are: patt-sol
4
The categories of this paper are: cond-mat
20
The categories of this paper are: acc-phys
7
The categories of this paper are: hep-th