Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum.

Ulrich Dorsch, Stefan Milius, Lutz Schrder

Browse the full CONCUR paper archive.