Bezhanishvili, Nick; Sourabh, Sumit Sahlqvist preservation for topological fixed-point logic. (English) Zbl 1444.03044 J. Log. Comput. 27, No. 3, 679-703 (2017). Summary: We introduce a new order-topological semantics for the positive modal mu-calculus over modal compact Hausdorff spaces, which are generalizations of descriptive frames. We define Sahlqvist sequents in this language, prove Esakia’s lemma and Sahlqvist preservation theorem for this semantics. We show that every Sahlqvist sequent has a frame correspondent in first-order logic with fixed-point operators. Cited in 1 ReviewCited in 2 Documents MSC: 03B45 Modal logic (including the logic of norms) 03B70 Logic in computer science 06D22 Frames, locales Keywords:modal mu-calculus; order-topological semantics; Sahlqvist correspondence; canonicity PDFBibTeX XMLCite \textit{N. Bezhanishvili} and \textit{S. Sourabh}, J. Log. Comput. 27, No. 3, 679--703 (2017; Zbl 1444.03044) Full Text: DOI Link