Papers

Topics

Authors

Recent

View all

Detailed Answer

Quick Answer

Concise responses based on abstracts only

Detailed Answer

Well-researched responses based on abstracts and relevant paper content.

Custom Instructions Pro

Preferences or requirements that you'd like Emergent Mind to consider when generating responses

Gemini 2.5 Flash

Gemini 2.5 Flash 37 tok/s

Gemini 2.5 Pro 41 tok/s Pro

GPT-5 Medium 10 tok/s Pro

GPT-5 High 15 tok/s Pro

GPT-4o 84 tok/s Pro

Kimi K2 198 tok/s Pro

GPT OSS 120B 448 tok/s Pro

Claude Sonnet 4 31 tok/s Pro

2000 character limit reached

A Fixed-Parameter Study on Propositional Dynamic Logic (2401.11861v1)

Published 22 Jan 2024 in cs.LO

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.