Search

• < Previous
• 1
• Next >

---

Positive fragments of coalgebraic logics

Adriana Balan ; Alexander Kurz ; Jiří Velebil.

Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization that derives all modal formulas that are valid on all Kripke frames and are built only from atomic propositions,&nbsp;[&hellip;]

---

Extending set functors to generalised metric spaces

Adriana Balan ; Alexander Kurz ; Jiří Velebil.

For a commutative quantale $\mathcal{V}$, the category $\mathcal{V}-cat$ can be perceived as a category of generalised metric spaces and non-expanding maps. We show that any type constructor $T$ (formalised as an endofunctor on sets) can be extended in a canonical way to a type constructor&nbsp;[&hellip;]

---