Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and
  Distinguishing Formulas   Behavioural equivalences can be characterized via bisimulation, modal logics,
and spoiler-duplicator games. In this paper we work in the general setting of
coalgebra and focus on generic algorithms for computing the winning strategies
of both players in a bisimulation game. The winning strategy of the spoiler (if
it exists) is then transformed into a modal formula that distinguishes the
given non-bisimilar states. The modalities required for the formula are also
synthesized on-the-fly, and we present a recipe for re-coding the formula with
different modalities, given by a separating set of predicate liftings. Both the
game and the generation of the distinguishing formulas have been implemented in
a tool called T-BEG.

33
The categories of this paper are: plasm-ph
20
The categories of this paper are: acc-phys
37
The categories of this paper are: supr-con
5
The categories of this paper are: gr-qc
17
The categories of this paper are: q-fin
21
The categories of this paper are: adap-org
26
The categories of this paper are: bayes-an
6
The categories of this paper are: astro-ph
31
The categories of this paper are: ao-sci
12
The categories of this paper are: nucl-th
36
The categories of this paper are: cmp-lg
28
The categories of this paper are: alg-geom
11
The categories of this paper are: hep-lat
7
The categories of this paper are: hep-th
16
The categories of this paper are: stat
8
The categories of this paper are: hep-ex