Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Sahlqvist Correspondence Theory for Sabotage Modal Logic   Sabotage modal logic (SML) is a kind of dynamic logics. It extends static
modal logic with a dynamic modality which is interpreted as "after deleting an
arrow in the frame, the formula is true". In the present paper, we are aiming
at solving an open problem, namely giving a Sahlqvist-type correspondence
theorem for sabotage modal logic. In this paper, we define sabotage Sahlqvist
formulas and give an algorithm to compute the first-order correspondents of
sabotage Sahlqvist formulas. We give some remarks and future directions at the
end of the paper.

16
The categories of this paper are: stat
31
The categories of this paper are: ao-sci
36
The categories of this paper are: cmp-lg
20
The categories of this paper are: acc-phys
19
The categories of this paper are: eess
10
The categories of this paper are: q-bio
4
The categories of this paper are: cond-mat
24
The categories of this paper are: dg-ga
13
The categories of this paper are: quant-ph
0
The categories of this paper are: hep-ph
9
The categories of this paper are: nlin
12
The categories of this paper are: nucl-th
11
The categories of this paper are: hep-lat
32
The categories of this paper are: atom-ph
14
The categories of this paper are: math-ph
3
The categories of this paper are: physics