Results 1 
4 of
4
ManySorted Coalgebraic Modal Logic: a Modeltheoretic Study
 Theoretical Informatics and Applications
, 2001
"... This paper gives a semantical underpinning for a manysorted modal logic associated with certain dynamical systems, like transition systems, automata or classes in objectoriented languages. These systems will be described as coalgebras of socalled polynomial functors, built up from constants an ..."
Abstract

Cited by 53 (3 self)
 Add to MetaCart
This paper gives a semantical underpinning for a manysorted modal logic associated with certain dynamical systems, like transition systems, automata or classes in objectoriented languages. These systems will be described as coalgebras of socalled polynomial functors, built up from constants and identities, using products, coproducts and powersets. The semantical account involves Boolean algebras with operators indexed by polynomial functors, called MBAOs, for Manysorted Boolean Algebras with Operators, combining standard (categorical) models of modal logic and of manysorted predicate logic.
Towards a Duality Result in the Modal Logic of Coalgebras
 In Coalgebraic Methods in Computer Science, volume 33 of ENTCS
, 2000
"... This paper forms a step in the development of the recently emerged connection between coalgebra and modal logic. It introduces (backandforth) transformations between coalgebras of simple polynomial functors and certain Boolean algebras with operators (BAOs). Categorically, these transformations ta ..."
Abstract

Cited by 21 (0 self)
 Add to MetaCart
This paper forms a step in the development of the recently emerged connection between coalgebra and modal logic. It introduces (backandforth) transformations between coalgebras of simple polynomial functors and certain Boolean algebras with operators (BAOs). Categorically, these transformations take the form of an adjunction. The BAO associated with a coalgebra can be used for specification, e.g. of classes in objectoriented languages.
Coalgebras and Monads in the Semantics of Java
 Theoretical Computer Science
, 2002
"... This paper describes the basic structures in the denotational and axiomatic semantics of sequential Java, both from a monadic and a coalgebraic perspective. This semantics is an abstraction of the one used for the verification of (sequential) Java programs using proof tools in the LOOP project at th ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
This paper describes the basic structures in the denotational and axiomatic semantics of sequential Java, both from a monadic and a coalgebraic perspective. This semantics is an abstraction of the one used for the verification of (sequential) Java programs using proof tools in the LOOP project at the University of Nijmegen. It is shown how the monadic perspective gives rise to the relevant computational structure in Java (composition, extension and repetition), and how the coalgebraic perspective o#ers an associated program logic (with invariants, bisimulations, and Hoare logics) for reasoning about the computational structure provided by the monad.
Logics Admitting Final Semantics
 In Foundations of Software Science and Computation Structures, volume 2303 of LNCS
, 2002
"... A logic for coalgebras is said to admit final semantics iff up to some technical requirementsall definable classes contain a fully abstract final coalgebra. It is shown that a logic admits final semantics iff the formulas of the logic are preserved under coproducts (disjoint unions) and qu ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
A logic for coalgebras is said to admit final semantics iff up to some technical requirementsall definable classes contain a fully abstract final coalgebra. It is shown that a logic admits final semantics iff the formulas of the logic are preserved under coproducts (disjoint unions) and quotients (homomorphic images).