Recent work
(All papers are available in pdf format, unless stated otherwise.)
Submitted
Accepted for publication
-
M. Bílková, J. Velebil and Y. Venema,
On Monotone Modalities and Adjointness,
Mathematical Structures in Computer Science, to appear.
-
L Schröder and Y Venema;
Flat coalgebraic
fixed point logics,
in P Gastin, F Laroussinie (eds.),
21st International Conference on Concurrency Theory (CONCUR 2010),
LNCS 6269, Springer, 2010, pp 524-538.
- G. Fontaine, R. Leal and Y. Venema;
Automata for Coalgebras:
an approach using predicate liftings,
Proceedings of ICALP 2010, LNCS 6199, Springer, 2010, pp 381-392.
- A Kurz and Y Venema,
Coalgebraic Lindström Theorems,
in: L. Beklemishev et alii (eds.),
Advances in Modal Logic, Volume 8, College Publications,
2010, pp 292-309.
- L Santocanale and Y Venema,
Uniform interpolation
for monotone modal logic,
in: L. Beklemishev et alii (eds.),
Advances in Modal Logic, Volume 8, College Publications,
2010, pp 350-370.