Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A van Benthem Theorem for Fuzzy Modal Logic   We present a fuzzy (or quantitative) version of the van Benthem theorem,
which characterizes propositional modal logic as the bisimulation-invariant
fragment of first-order logic. Specifically, we consider a first-order fuzzy
predicate logic along with its modal fragment, and show that the fuzzy
first-order formulas that are non-expansive w.r.t. the natural notion of
bisimulation distance are exactly those that can be approximated by fuzzy modal
formulas.

11
The categories of this paper are: hep-lat
10
The categories of this paper are: q-bio
29
The categories of this paper are: funct-an
31
The categories of this paper are: ao-sci
27
The categories of this paper are: comp-gas
16
The categories of this paper are: stat
33
The categories of this paper are: plasm-ph
6
The categories of this paper are: astro-ph
28
The categories of this paper are: alg-geom
2
The categories of this paper are: math
8
The categories of this paper are: hep-ex
37
The categories of this paper are: supr-con
13
The categories of this paper are: quant-ph
3
The categories of this paper are: physics
35
The categories of this paper are: mtrl-th
32
The categories of this paper are: atom-ph