Sahlqvist preservation for topological fixed-point logic

Nick Bezhanishvili, Sumit Sourabh. Sahlqvist preservation for topological fixed-point logic. Journal of Logic and Computation, 27(3):679-703, 2017. [doi]

Abstract

Abstract is missing.