شماره ركورد كنفرانس
5261
عنوان مقاله
A Fixed-Parameter Study on Propositional Dynamic Logic
پديدآورندگان
Hosseinpour Mohammad Javad m.j.hosseinpour@aut.ac.ir Amirkabir University of Technology , didevar farzad didehvar@aut.ac.ir Amirkabir University of Technology
تعداد صفحه
6
كليدواژه
Propositional Dynamic Logic , Fixed , Parameter , Schaefer’s Dichotomy Theorem , Propositional Logic
سال انتشار
1402
عنوان كنفرانس
يازدهمين همايش ساليانه انجمن منطق ايران
زبان مدرك
انگليسي
چكيده فارسي
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.
كشور
ايران
لينک به اين مدرک