Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Sahlqvist Correspondence Theory for Second-Order Propositional Modal
  Logic   Modal logic with propositional quantifiers (i.e. second-order propositional
modal logic (SOPML)) has been considered since the early time of modal logic.
Its expressive power and complexity are high, and its van-Benthem-Rosen theorem
and Goldblatt-Thomason theorem have been proved by ten Cate (2006). However,
the Sahlqvist theory of SOPML has not been considered in the literature. In the
present paper, we fill in this gap. We develop the Sahlqvist correspondence
theory for SOPML, which covers and properly extends existing Sahlqvist formulas
in basic modal logic. We define the class of Sahlqvist formulas for SOMPL step
by step in a hierarchical way, each formula of which is shown to have a
first-order correspondent over Kripke frames effectively computable by an
algorithm $ALBA^{SOMPL}$. In addition, we show that certain $\Pi_2$-rules
correspond to $\Pi_2$-Sahlqvist formulas in SOMPL, which further correspond to
first-order conditions, and that even for very simple SOMPL Sahlqvist formulas,
they could already be non-canonical.

17
The categories of this paper are: q-fin
0
The categories of this paper are: hep-ph
34
The categories of this paper are: chem-ph
30
The categories of this paper are: q-alg
9
The categories of this paper are: nlin
13
The categories of this paper are: quant-ph
5
The categories of this paper are: gr-qc
19
The categories of this paper are: eess
25
The categories of this paper are: patt-sol
32
The categories of this paper are: atom-ph
11
The categories of this paper are: hep-lat
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
20
The categories of this paper are: acc-phys
6
The categories of this paper are: astro-ph
23
The categories of this paper are: solv-int