A Fixed-Parameter Study on Propositional Dynamic Logic. - Mohammad Javad Hosseinpour; Farzad Didehvar (CoRR, 2024)