72 search results - page 11 / 15 » Coalgebraic Logic |
ENTCS
2010
14 years 11 months ago
2010
87
Voted
AMAST
2010
Springer
14 years 6 months ago
2010
Springer
CALCO
2007
Springer
15 years 5 months ago
2007
Springer
In this paper we discuss a uniform method for constructing free modal and distributive modal algebras. This method draws on works by (Abramsky 2005) and (Ghilardi 1995). We revisit...
92
Voted
TCS
2002
14 years 11 months ago
2002
oole.stanford.edu/pub/ABSTRACTS Pratt, V.R., "Transition and Cancellation in Concurrency and Branching Time", Math. Structures in Comp. Sci., 13:4, 485-529, August 2003. ...
CALCO
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...