Search

• < Previous
• 1
• Next >

---

Exploring the Boundaries of Monad Tensorability on Set

Nathan Bowler ; Sergey Goncharov ; Paul Blain Levy ; Lutz Schröder.

We study a composition operation on monads, equivalently presented as large equational theories. Specifically, we discuss the existence of tensors, which are combinations of theories that impose mutual commutation of the operations from the component theories. As such, they extend the sum of two&nbsp;[&hellip;]

---

Generic Modal Cut Elimination Applied to Conditional Logics

Dirk Pattinson ; Lutz Schröder.

We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies also to a wide variety of logics outside the realm of normal&nbsp;[&hellip;]

---

Coalgebraic Satisfiability Checking for Arithmetic $\mu$-Calculi

Daniel Hausmann ; Lutz Schröder.

The coalgebraic $\mu$-calculus provides a generic semantic framework for fixpoint logics over systems whose branching type goes beyond the standard relational setup, e.g. probabilistic, weighted, or game-based. Previous work on the coalgebraic $\mu$-calculus includes an exponential-time upper bound&nbsp;[&hellip;]

---