Search

• < Previous
• 1
• Next >

Completeness for the coalgebraic cover modality

We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical propositional logic with a so-called coalgebraic cover&nbsp;[&hellip;]