Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision
  Procedures   A grammar logic refers to an extension to the multi-modal logic K in which
the modal axioms are generated from a formal grammar. We consider a proof
theory, in nested sequent calculus, of grammar logics with converse, i.e.,
every modal operator [a] comes with a converse. Extending previous works on
nested sequent systems for tense logics, we show all grammar logics (with or
without converse) can be formalised in nested sequent calculi, where the axioms
are internalised in the calculi as structural rules. Syntactic cut-elimination
for these calculi is proved using a procedure similar to that for display
logics. If the grammar is context-free, then one can get rid of all structural
rules, in favor of deep inference and additional propagation rules. We give a
novel semi-decision procedure for context-free grammar logics, using nested
sequent calculus with deep inference, and show that, in the case where the
given context-free grammar is regular, this procedure terminates. Unlike all
other existing decision procedures for regular grammar logics in the
literature, our procedure does not assume that a finite state automaton
encoding the axioms is given.

10
The categories of this paper are: q-bio
8
The categories of this paper are: hep-ex
17
The categories of this paper are: q-fin
22
The categories of this paper are: chao-dyn
26
The categories of this paper are: bayes-an
33
The categories of this paper are: plasm-ph
36
The categories of this paper are: cmp-lg
4
The categories of this paper are: cond-mat
15
The categories of this paper are: nucl-ex
5
The categories of this paper are: gr-qc
34
The categories of this paper are: chem-ph
31
The categories of this paper are: ao-sci
21
The categories of this paper are: adap-org
18
The categories of this paper are: econ
25
The categories of this paper are: patt-sol
28
The categories of this paper are: alg-geom