Search

• < Previous
• 1
• Next >

---

An expressive completeness theorem for coalgebraic modal mu-calculi

Sebastian Enqvist ; Fatemeh Seifan ; Yde Venema.

Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor. We then consider invariance under behavioral equivalence of MSO-formulas. More specifically, we investigate whether the coalgebraic&nbsp;[&hellip;]

---

Disjunctive bases: normal forms and model theory for modal logics

Sebastian Enqvist ; Yde Venema.

We present the concept of a disjunctive basis as a generic framework for normal forms in modal logic based on coalgebra. Disjunctive bases were defined in previous work on completeness for modal fixpoint logics, where they played a central role in the proof of a generic completeness theorem for&nbsp;[&hellip;]

---

Coalgebraic Geometric Logic: Basic Theory

Nick Bezhanishvili ; Jim de Groot ; Yde Venema.

Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor on some full subcategory of the category of topological spaces and continuous functions. We&nbsp;[&hellip;]

---