A Fixed-Parameter Study on Propositional Dynamic Logic
Logic in Computer Science
2024-01-23 v1
Abstract
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 some PDL problems and in this paper, we show results for some special cases of PL and PDL.
Cite
@article{arxiv.2401.11861,
title = {A Fixed-Parameter Study on Propositional Dynamic Logic},
author = {Mohammad Javad Hosseinpour and Farzad Didehvar},
journal= {arXiv preprint arXiv:2401.11861},
year = {2024}
}
Comments
7 pages, A version of this paper is to be submitted in the 11th annual conference of Iran Association of Logic