Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2401.11861 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909079031513088 |
|---|---|
| author | Hosseinpour, Mohammad Javad Didehvar, Farzad |
| author_facet | Hosseinpour, Mohammad Javad Didehvar, Farzad |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_11861 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A Fixed-Parameter Study on Propositional Dynamic Logic Hosseinpour, Mohammad Javad Didehvar, Farzad Logic in Computer Science 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. |
| title | A Fixed-Parameter Study on Propositional Dynamic Logic |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2401.11861 |