Results 1 
8 of
8
Expressivity of coalgebraic modal logic: The limits and beyond
 IN FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, VOLUME 3441 OF LNCS
, 2005
"... Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from socalled predicate liftings have been shown to be invariant under behavioral equivalence. Expressivity results stating that, c ..."
Abstract

Cited by 39 (13 self)
 Add to MetaCart
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from socalled predicate liftings have been shown to be invariant under behavioral equivalence. Expressivity results stating that, conversely, logically indistinguishable states are behaviorally equivalent depend on the existence of separating sets of predicate liftings for the signature functor at hand. Here, we provide a classification result for predicate liftings which leads to an easy criterion for the existence of such separating sets, and we give simple examples of functors that fail to admit expressive normal or monotone modal logics, respectively, or in fact an expressive (unary) modal logic at all. We then move on to polyadic modal logic, where modal operators may take more than one argument formula. We show that every accessible functor admits an expressive polyadic modal logic. Moreover, expressive polyadic modal logics are, unlike unary modal logics, compositional.
Coalgebraic modal logic beyond Sets
 In MFPS XXIII
, 2007
"... Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be ..."
Abstract

Cited by 10 (3 self)
 Add to MetaCart
Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
Functorial coalgebraic logic: The case of manysorted varieties
 Electron. Notes Theor. Comput. Sci
"... Following earlier work, a modal logic for Tcoalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This paper makes two contributions. First, a previous result characterizing those functors that have presentations is generaliz ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
Following earlier work, a modal logic for Tcoalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This paper makes two contributions. First, a previous result characterizing those functors that have presentations is generalized from endofunctors on onesorted varieties to functors between manysorted varieties. This yields an equational logic for the presheaf semantics of higherorder abstract syntax. As another application, we show how the move to functors between manysorted varieties allows to modularly combine syntax and proof systems of different logics. Second, we show how to associate to any setfunctor T a complete (finitary) logic L consisting of modal operators and Boolean connectives.
Equational Coalgebraic Logic
 MFPS
, 2009
"... Coalgebra develops a general theory of transition systems, parametric in a functor T; the functor T specifies the possible onestep behaviours of the system. A fundamental question in this area is how to obtain, for an arbitrary functor T, a logic for Tcoalgebras. We compare two existing proposals, ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Coalgebra develops a general theory of transition systems, parametric in a functor T; the functor T specifies the possible onestep behaviours of the system. A fundamental question in this area is how to obtain, for an arbitrary functor T, a logic for Tcoalgebras. We compare two existing proposals, Moss’s coalgebraic logic and the logic of all predicate liftings, by providing onestep translations between them, extending the results in [21] by making systematic use of Stone duality. Our main contribution then is a novel coalgebraic logic, which can be seen as an equational axiomatization of Moss’s logic. The three logics are equivalent for a natural but restricted class of functors. We give examples showing that the logics fall apart in general. Finally, we argue that the quest for a generic logic for Tcoalgebras is still open in the general case.
Coalgebras, Stone Duality, Modal Logic
, 2006
"... A brief outline of the topics of the course could be as follows. Coalgebras generalise transition systems. Modal logics are the natural logics for coalgebras. Stone duality provides the relationship between coalgebras and modal logic. Furthermore, some basic category theory is needed to understand c ..."
Abstract
 Add to MetaCart
A brief outline of the topics of the course could be as follows. Coalgebras generalise transition systems. Modal logics are the natural logics for coalgebras. Stone duality provides the relationship between coalgebras and modal logic. Furthermore, some basic category theory is needed to understand coalgebras as well as Stone duality. So we
Expressiveness of Positive Coalgebraic Logic
"... From the point of view of modal logic, coalgebraic logic over posets is the natural coalgebraic generalisation of positive modal logic. From the point of view of coalgebra, posets arise if one is interested in simulations as opposed to bisimulations. From a categorical point of view, one moves from ..."
Abstract
 Add to MetaCart
From the point of view of modal logic, coalgebraic logic over posets is the natural coalgebraic generalisation of positive modal logic. From the point of view of coalgebra, posets arise if one is interested in simulations as opposed to bisimulations. From a categorical point of view, one moves from ordinary categories to enriched categories. We show that the basic setup of coalgebraic logic extends to this more general setting and that every finitary functor on posets has a logic that is expressive, that is, has the HennessyMilner property. Keywords: Coalgebra, Modal Logic, Poset
Coalgebras and Their Logics 1
, 2006
"... Some comments about the last Logic Column, on nominal logic. Pierre Lescanne points out ..."
Abstract
 Add to MetaCart
Some comments about the last Logic Column, on nominal logic. Pierre Lescanne points out