52 search results - page 6 / 11 » An institution of modal logics for coalgebras |
127
click to vote
STACS
2001
Springer
15 years 6 months ago
2001
Springer
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
BCS
2008
15 years 3 months ago
2008
126
click to vote
ENTCS
2010
14 years 11 months ago
2010
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...
118
Voted
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
IANDC
2006
15 years 1 months ago
2006
This paper generalizes existing connections between automata and logic to a coalgestraction level. Let F : Set Set be a standard functor that preserves weak pullbacks. We introdu...