TY  - RPRT
TI  - Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics
AU  - Eric Alsmann
AU  - Florian Bruse
AU  - Martin Lange
PY  - 2021
DO  - 10.4204/eptcs.339.4
UR  - https://arxiv.org/abs/2108.10490
ID  - 2108.10490
ER  -