3 search results - page 1 / 1 » Flat Coalgebraic Fixed Point Logics |
77
Voted
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Fixed point logics are widely used in computer science, in particular in artificial intelligence and concurrency. The most expressive logics of this type are the
87
Voted
ENTCS
2008
15 years 15 days ago
2008
We build on existing work on finitary modular coalgebraic logics [3,4], which we extend with general fixed points, including CTL- and PDL-like fixed points, and modular evaluation...
78
Voted
IANDC
2006
15 years 13 days 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...