Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: From Hybrid Modal Logic to Matching Logic and Back   Building on our previous work on hybrid polyadic modal logic we identify
modal logic equivalents for Matching Logic, a logic for program specification
and verification. This provides a rigorous way to transfer results between the
two approaches, which should benefit both systems.

27
The categories of this paper are: comp-gas
25
The categories of this paper are: patt-sol
17
The categories of this paper are: q-fin
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
33
The categories of this paper are: plasm-ph
32
The categories of this paper are: atom-ph
14
The categories of this paper are: math-ph
29
The categories of this paper are: funct-an
28
The categories of this paper are: alg-geom
2
The categories of this paper are: math
3
The categories of this paper are: physics
19
The categories of this paper are: eess
16
The categories of this paper are: stat
35
The categories of this paper are: mtrl-th
11
The categories of this paper are: hep-lat