In this paper we consider distributive modal logic, a setting in which we may add modalities, such as classical types of modalities as well as weak forms of negation, to the fragment of classicalâ€¦ (More)

We discuss a â€˜negativeâ€™ way of defining frame classes in (multi-)modal logic, and address the question whether these classes can be axiomatized by derivation rules, the â€˜non-Î¾ rulesâ€™, styled afterâ€¦ (More)

The Terminology Box (TBox) of a Description Logic (DL) knowledge base is used to define new concepts in terms of primitive concepts and relations. The topic of this paper is the effect of theâ€¦ (More)

Overview This contribution gives a short introduction to arrow logic We start by explaining the basic idea underlying arrow logic and the motivation for studying it sections and We discuss someâ€¦ (More)

This paper generalizes existing connections between automata and logic to a coalgebraic abstraction level. Let F : Setâ†’ Set be a standard functor that preserves weak pullbacks. We introduce variousâ€¦ (More)

Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition systems. We lift theâ€¦ (More)

In this paper we argue that the category of Stone spaces forms an interesting base category for coalgebras, in particular, if one considers the Vietoris functor as an analogue to the power setâ€¦ (More)