| Authors |
|
| Publication date |
2012
|
| Journal |
Studia Logica
|
| Volume | Issue number |
100 | 1-2
|
| Pages (from-to) |
31-60
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| Abstract |
We define analogues of modal Sahlqvist formulas for the modal mu-calculus, and prove a correspondence theorem for them.
|
| Document type |
Article
|
| Note |
In: Special issue dedicated to the memory of Leo Esakia
|
| Language |
English
|
| Published at |
https://doi.org/10.1007/s11225-012-9388-9
|
|
Permalink to this page
|