PP-2015-09: Bezhanishvili, Nick and Sourabh, Sumit (2015) Sahlqvist preservation for topological fixed-point logic. [Report]
Preview |
Text (Full Text)
PP-2015-09.text.pdf Download (415kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2015-09.abstract.txt Download (603B) |
Abstract
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 |
