A Fixed-Parameter Study on Propositional Dynamic Logic
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _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 |