TY  - RPRT
TI  - On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
AU  - Tim S. Lyon
PY  - 2024
UR  - https://arxiv.org/abs/2412.04012
ID  - 2412.04012
ER  -