TY  - RPRT
TI  - A Fixed-Parameter Study on Propositional Dynamic Logic
AU  - Mohammad Javad Hosseinpour
AU  - Farzad Didehvar
PY  - 2024
UR  - https://arxiv.org/abs/2401.11861
ID  - 2401.11861
ER  -