Add to ORKGWe study categories of coalgebras for endofunctors, which additionally depend on a parameter category. The corresponding category of coalgebras then naturally appears as cofibred over the parameters. We give examples of constructions in the cofibred framework and study the overall structure of such cofibrations. Moreover, the dependency of (modal) logics for coalgebras on a parameter category is investigated and shown to give rise to the dual of an institution
We propose to use modal logic as a logic for coalgebras and discuss it in view of the work done on c...
We propose to use modal logic as a logic for coalgebras and discuss it in view of the work done on c...
We propose to use modal logic as a logic for coalgebras and discuss it in view of the work done on c...
We study categories of coalgebras for endofunctors, which additionally depend on a parameter categor...
Abstract[4] describes a modal logic for coalgebras of certain polynomial endofunctors on Set. This l...
This paper presents a modular framework for the specification of certain inductively-defined coalgeb...
AbstractThe study of algebras and coalgebras involve parametric description of a family of endofunct...
AbstractWe define a modal logic whose models are coalgebras of a polynomial functor. Bisimilarity tu...
AbstractIt is well know that the solution Z of a recursive domain equation, given by an endofunctor ...
AbstractThis paper studies finitary modal logics, interpreted over coalgebras for an endofunctor, an...
AbstractThis paper presents a modular framework for the specification of certain inductively-defined...
AbstractThis paper attempts to unify some of the existing approaches to defining modal logics for co...
Abstract We study coalgebras for endofunctors on the category of an-alytic spaces. Prominent example...
Abstract This paper presents a logical characterisation of coalgebraic behavioural equivalence. The ...
AbstractWe present a generalization of modal logic to logics which are interpreted on coalgebras of ...
We propose to use modal logic as a logic for coalgebras and discuss it in view of the work done on c...
We propose to use modal logic as a logic for coalgebras and discuss it in view of the work done on c...
We propose to use modal logic as a logic for coalgebras and discuss it in view of the work done on c...
We study categories of coalgebras for endofunctors, which additionally depend on a parameter categor...
Abstract[4] describes a modal logic for coalgebras of certain polynomial endofunctors on Set. This l...
This paper presents a modular framework for the specification of certain inductively-defined coalgeb...
AbstractThe study of algebras and coalgebras involve parametric description of a family of endofunct...
AbstractWe define a modal logic whose models are coalgebras of a polynomial functor. Bisimilarity tu...
AbstractIt is well know that the solution Z of a recursive domain equation, given by an endofunctor ...
AbstractThis paper studies finitary modal logics, interpreted over coalgebras for an endofunctor, an...
AbstractThis paper presents a modular framework for the specification of certain inductively-defined...
AbstractThis paper attempts to unify some of the existing approaches to defining modal logics for co...
Abstract We study coalgebras for endofunctors on the category of an-alytic spaces. Prominent example...
Abstract This paper presents a logical characterisation of coalgebraic behavioural equivalence. The ...
AbstractWe present a generalization of modal logic to logics which are interpreted on coalgebras of ...
We propose to use modal logic as a logic for coalgebras and discuss it in view of the work done on c...
We propose to use modal logic as a logic for coalgebras and discuss it in view of the work done on c...
We propose to use modal logic as a logic for coalgebras and discuss it in view of the work done on c...