Search

• < Previous
• 1
• Next >

Moss' logic for ordered coalgebras

We present a finitary version of Moss' coalgebraic logic for $T$-coalgebras, where $T$ is a locally monotone endofunctor of the category of posets and monotone maps. The logic uses a single cover modality whose arity is given by the least finitary subfunctor of the dual of the coalgebra functor&nbsp;[&hellip;]