Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Positive provability logic for uniform reflection principles   We deal with the fragment of modal logic consisting of implications of
formulas built up from the variables and the constant `true' by conjunction and
diamonds only. The weaker language allows one to interpret the diamonds as the
uniform reflection schemata in arithmetic, possibly of unrestricted logical
complexity. We formulate an arithmetically complete calculus with modalities
labeled by natural numbers and \omega, where \omega corresponds to the full
uniform reflection schema, whereas n<\omega corresponds to its restriction to
arithmetical \Pi_{n+1}-formulas. This calculus is shown to be complete w.r.t. a
suitable class of finite Kripke models and to be decidable in polynomial time.

27
The categories of this paper are: comp-gas
24
The categories of this paper are: dg-ga
17
The categories of this paper are: q-fin
20
The categories of this paper are: acc-phys
23
The categories of this paper are: solv-int
19
The categories of this paper are: eess
13
The categories of this paper are: quant-ph
12
The categories of this paper are: nucl-th
31
The categories of this paper are: ao-sci
9
The categories of this paper are: nlin
32
The categories of this paper are: atom-ph
0
The categories of this paper are: hep-ph
6
The categories of this paper are: astro-ph
29
The categories of this paper are: funct-an
16
The categories of this paper are: stat
33
The categories of this paper are: plasm-ph