collaborators

1 paper

cs.LO2024

A Fixed-Parameter Study on Propositional Dynamic Logic

Mohammad Javad Hosseinpour, Farzad Didehvar

Since its establishment, propositional dynamic logic (PDL) has been a subject of intensive academic research and frequent use in the industry. We have studied the complexity of som…