Ulrich Dorsch, Stefan Milius, Lutz Schröder. Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum. In Wan Fokkink, Rob van Glabbeek, editors, 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands. Volume 140 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]
Abstract is missing.