We define analogues of modal Sahlqvist formulas for the modal mu-calculus, and prove a correspondence theorem for them.

We characterize the modal logics of elementary classes of Kripke frames as precisely those modal logics that are axiomatized by modal axioms synthesized in a certain effective way from "quasi-positive" sentences of hybrid logic. These are pure positive hybrid sentences with arbitrary existential and relativized universal quantification over nominals. The proof has three steps. The first step is to use the known result that the modal logic of any elementary class of Kripke frames is also the modal logic of the (...) closure of this class under disjoint unions, generated subframes, bounded morphic images, and ultraroots. This latter class can be defined by the first-order sentences of a special syntactic form (called pseudo-equations by Goldblatt) that are valid in the former class. The second step is to translate these pseudo-equations into equivalent quasi-positive hybrid sentences. In the third and main step, we show that any quasi-positive sentence S generates an infinite set of modal formulas called "approximants," which together axiomatize a canonical modal logic that is sound and complete for the class of frames validating S. The proof is analogous to standard proofs of Sahlqvist's theorem. It generalizes to sets of quasi-positive sentences. The main result now follows. (shrink)

In the present paper, we continue the research in Zhao (2021, Logic J. IGPL) to develop the Sahlqvist completeness theory for hybrid logic with satisfaction operators and downarrow binders |$\mathcal {L}( @, {\downarrow })$|⁠. We define the class of restricted Sahlqvist formulas for |$\mathcal {L}( @, {\downarrow })$| following the ideas in Conradie and Robinson (2017, J. Logic Comput., 27, 867–900), but we follow a different proof strategy which is purely proof-theoretic, namely showing that for every restricted Sahlqvist formula |$\varphi (...) $| and its hybrid pure correspondence |$\pi $|⁠, |$\textbf {K}_{\mathcal {H}( @, {\downarrow })}+\varphi $| proves |$\pi $|⁠; therefore, |$\textbf {K}_{\mathcal {H}( @, {\downarrow })}+\varphi $| is complete with respect to the class of frames defined by |$\pi $|⁠, using a modified version |$\textsf {ALBA}^{{\downarrow }}_{\textsf {Modified}}$| of the algorithm |$\textsf {ALBA}^{{\downarrow }}$| defined in Zhao (2021, Logic J. IGPL). (shrink)

We define analogues of modal Sahlqvist formulas for the modal mu-calculus, and prove a correspondence theorem for them.