Search

• < Previous
• 1
• Next >

---

EXPTIME Tableaux for the Coalgebraic mu-Calculus

Corina Cirstea ; Clemens Kupke ; Dirk Pattinson.

The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic. In this paper, we introduce the coalgebraic mu-calculus, an extension of&nbsp;[&hellip;]

---

Expressive Logics for Coinductive Predicates

Clemens Kupke ; Jurriaan Rot.

The classical Hennessy-Milner theorem says that two states of an image-finite transition system are bisimilar if and only if they satisfy the same formulas in a certain modal logic. In this paper we study this type of result in a general context, moving from transition systems to coalgebras and from&nbsp;[&hellip;]

---