| Authors |
|
| Publication date |
2017
|
| Journal |
Journal of Logic and Computation
|
| Volume | Issue number |
27 | 3
|
| Pages (from-to) |
679-703
|
| Organisations |
-
Faculty of Science (FNWI)
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| 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, 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.
|
| Document type |
Article
|
| Language |
English
|
| Published at |
https://doi.org/10.1093/logcom/exv010
|
|
Permalink to this page
|