Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Model Checking Epistemic Halpern-Shoham Logic Extended with Regular
  Expressions   The Epistemic Halpern-Shoham logic (EHS) is a temporal-epistemic logic that
combines the interval operators of the Halpern-Shoham logic with epistemic
modalities. The semantics of EHS is based on interpreted systems whose
labelling function is defined on the endpoints of intervals. We show that this
definition can be generalised by allowing the labelling function to be based on
the whole interval by means of regular expressions. We prove that all the
positive results known for EHS, notably the attractive complexity of its model
checking problem for some of its fragments, still hold for its generalisation.
We also propose the new logic EHSre which operates on standard Kripke
structures and has expressive power equivalent to that of EHS with regular
expressions. We compare the expressive power of EHSre with standard temporal
logics.

9
The categories of this paper are: nlin
36
The categories of this paper are: cmp-lg
17
The categories of this paper are: q-fin
24
The categories of this paper are: dg-ga
21
The categories of this paper are: adap-org
30
The categories of this paper are: q-alg
3
The categories of this paper are: physics
35
The categories of this paper are: mtrl-th
5
The categories of this paper are: gr-qc
13
The categories of this paper are: quant-ph
33
The categories of this paper are: plasm-ph
8
The categories of this paper are: hep-ex
32
The categories of this paper are: atom-ph
29
The categories of this paper are: funct-an
19
The categories of this paper are: eess
23
The categories of this paper are: solv-int