Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Filtration and canonical completeness for continuous modal mu-calculi   The continuous modal mu-calculus is a fragment of the modal mu-calculus,
where the application of fixpoint operators is restricted to formulas whose
functional interpretation is Scott-continuous, rather than merely monotone. By
game-theoretic means, we show that this relatively expressive fragment still
allows two important techniques of basic modal logic, which notoriously fail
for the full modal mu-calculus: filtration and canonical models. In particular,
we show that the Filtration Theorem holds for formulas in the language of the
continuous modal mu-calculus. As a consequence we obtain the finite model
property over a wide range of model classes. Moreover, we show that if a basic
modal logic L is canonical and the class of L-frames admits filtration, then
the logic obtained by adding continuous fixpoint operators to L is sound and
complete with respect to the class of L-frames. This generalises recent results
on a strictly weaker fragment of the modal mu-calculus, viz. PDL.

22
The categories of this paper are: chao-dyn
16
The categories of this paper are: stat
10
The categories of this paper are: q-bio
12
The categories of this paper are: nucl-th
19
The categories of this paper are: eess
0
The categories of this paper are: hep-ph
34
The categories of this paper are: chem-ph
28
The categories of this paper are: alg-geom
20
The categories of this paper are: acc-phys
9
The categories of this paper are: nlin
14
The categories of this paper are: math-ph
30
The categories of this paper are: q-alg
32
The categories of this paper are: atom-ph
15
The categories of this paper are: nucl-ex
4
The categories of this paper are: cond-mat
5
The categories of this paper are: gr-qc