Sahlqvist correspondence for modal mu-calculus
| Authors |
|
|---|---|
| Publication date | 2012 |
| Journal | Studia Logica |
| Volume | Issue number | 100 | 1-2 |
| Pages (from-to) | 31-60 |
| Organisations |
|
| 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
(Final published version)
|
| Permalink to this page | |