| Authors |
|
| Publication date |
2011
|
| Journal |
Mathematical Structures in Computer Science
|
| Volume | Issue number |
21
|
| Pages (from-to) |
383-416
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| Abstract |
We fix a logical connection (Stone ˧ Pred : Setop → BA given by 2 as a schizophrenic object) and study coalgebraic modal logic that is induced by a functor T: Set → Set that is finitary and standard and preserves weak pullbacks and finite sets. We prove that for any such T, the cover modality nabla is a left (and its dual delta is a right) adjoint relative to ω. We then consider monotone unary modalities arising from the logical connection and show that they all are left (or right) adjoints relative to ω.
|
| Document type |
Article
|
| Language |
English
|
| Published at |
https://doi.org/10.1017/S0960129510000514
|
|
Permalink to this page
|