Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Inquisitive bisimulation   Inquisitive modal logic InqML is a generalisation of standard Kripke-style
modal logic. In its epistemic incarnation, it extends standard epistemic logic
to capture not just the information that agents have, but also the questions
that they are interested in. Technically, InqML fits within the family of
logics based on team semantics. From a model-theoretic perspective, it takes us
a step in the direction of monadic second-order logic, as inquisitive modal
operators involve quantification over sets of worlds. We introduce and
investigate the natural notion of bisimulation equivalence in the setting of
InqML. We compare the expressiveness of InqML and first-order logic in the
context of relational structures with two sorts, one for worlds and one for
information states. We characterise inquisitive modal logic, as well as its
multi-agent epistemic S5-like variant, as the bisimulation invariant fragment
of first-order logic over various natural classes of two-sorted structures.
These results crucially require non-classical methods in studying bisimulation
and first-order expressiveness over non-elementary classes of structures,
irrespective of whether we aim for characterisations in the sense of classical
or of finite model theory.

16
The categories of this paper are: stat
37
The categories of this paper are: supr-con
27
The categories of this paper are: comp-gas
7
The categories of this paper are: hep-th
24
The categories of this paper are: dg-ga
11
The categories of this paper are: hep-lat
30
The categories of this paper are: q-alg
3
The categories of this paper are: physics
34
The categories of this paper are: chem-ph
9
The categories of this paper are: nlin
33
The categories of this paper are: plasm-ph
20
The categories of this paper are: acc-phys
26
The categories of this paper are: bayes-an
36
The categories of this paper are: cmp-lg
28
The categories of this paper are: alg-geom
31
The categories of this paper are: ao-sci