386 search results - page 11 / 78 » Coalgebraic Hybrid Logic |
BCS
2008
15 years 1 months ago
2008
ENTCS
2010
14 years 12 months ago
2010
AMAST
2010
Springer
14 years 7 months ago
2010
Springer
CALCO
2007
Springer
15 years 6 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...
APAL
2007
14 years 12 months ago
2007
Non-well-founded trees are used in mathematics and computer science, for modelling non-well-founded sets, as well as non-terminating processes or infinite data structures. Catego...