Year: 2024
Type: preprint
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.
Source: arXiv (Cornell University)
Institution: Amirkabir University of Technology
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4391158703