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 |
|
| 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
(Final published version)
|
| Permalink to this page | |