TY  - RPRT
TI  - Graded Monads and Graded Logics for the Linear Time -- Branching Time Spectrum
AU  - Ulrich Dorsch
AU  - Stefan Milius
AU  - Lutz Schröder
PY  - 2020
UR  - https://arxiv.org/abs/1812.01317
ID  - 1812.01317
ER  -