Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On Guarded Transformation In The Modal Mu-Calculus   Guarded normal form requires occurrences of fixpoint variables in a
{\mu}-calculus-formula to occur under the scope of a modal operator. The
literature contains guarded transformations that effectively bring a
{\mu}-calculus-formula into guarded normal form. We show that the known guarded
transformations can cause an exponential blowup in formula size, contrary to
existing claims of polynomial behaviour. We also show that any polynomial
guarded transformation for {\mu}-calculus-formulas in the more relaxed
vectorial form gives rise to a polynomial solution algorithm for parity games,
the existence of which is an open problem. We also investigate transformations
between the {\mu}-calculus, vectorial form and hierarchical equation systems,
which are an alternative syntax for alternating parity tree automata.

29
The categories of this paper are: funct-an
11
The categories of this paper are: hep-lat
25
The categories of this paper are: patt-sol
20
The categories of this paper are: acc-phys
5
The categories of this paper are: gr-qc
2
The categories of this paper are: math
34
The categories of this paper are: chem-ph
15
The categories of this paper are: nucl-ex
13
The categories of this paper are: quant-ph
31
The categories of this paper are: ao-sci
24
The categories of this paper are: dg-ga
7
The categories of this paper are: hep-th
0
The categories of this paper are: hep-ph
16
The categories of this paper are: stat
19
The categories of this paper are: eess
36
The categories of this paper are: cmp-lg