Predicate liftings versus nabla modalities
| Authors |
|
| Publication date |
2008
|
| Journal |
Electronic Notes in Theoretical Computer Science
|
| Volume | Issue number |
203 | 5
|
| Pages (from-to) |
195-220
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| Abstract |
We compare Moss' language and languages with predicate liftings. We prove that every monadic predicate lifting for a Kripke polynomial functor can be translated into Moss' language. We also prove that Moss' modality can always be translated into an appropriate language with predicate liftings.
|
| Document type |
Article
|
| Published at |
https://doi.org/10.1016/j.entcs.2008.05.026
|
|
Permalink to this page
|
Back