Search

• < Previous
• 1
• Next >

---

Relation lifting, with an application to the many-valued cover modality

Marta Bilkova ; Alexander Kurz ; Daniela Petrisan ; Jiri Velebil.

We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T to admit a functorial relation lifting: one is the existence of a distributive law of T over the "powerset monad" on&nbsp;[&hellip;]

---

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;]

---