Distributivity of categories of coalgebras (2003)

by H P Gumm, J Hughes, T Schröder
Results 1 - 1 of 1

UNIVERSAL COALGEBRAS AND THEIR LOGICS

by H. Peter Gumm , 2009
"... ABSTRACT. We survey coalgebras as models of state based systems together with their global and local logics. We convey some useful intuition regarding Set-functors which leads naturally to coalgebraic modal logic where modalities are validity patterns for the successor object of a state. 1. ..."
Abstract - Add to MetaCart
ABSTRACT. We survey coalgebras as models of state based systems together with their global and local logics. We convey some useful intuition regarding Set-functors which leads naturally to coalgebraic modal logic where modalities are validity patterns for the successor object of a state. 1.