PP-2015-09: Sahlqvist preservation for topological fixed-point logic

PP-2015-09: Bezhanishvili, Nick and Sourabh, Sumit (2015) Sahlqvist preservation for topological fixed-point logic. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (415kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (603B)


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 and prove Esakia's lemma and Sahlqvist preservation theorem in this semantics. We show that every Sahlqvist sequent has a frame correspondent in first-order logic with fixed-point operators.

Item Type: Report
Report Nr: PP-2015-09
Series Name: Prepublication (PP) Series
Year: 2015
Uncontrolled Keywords: Modal mu-calculus, order-topological semantics, Sahlqvist correspondence, canonicity
Subjects: Logic
Depositing User: ssourab1
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/520

Actions (login required)

View Item View Item