شماره ركورد كنفرانس :
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
كليدواژه :
Propositional Dynamic Logic , Fixed , Parameter , Schaefer’s Dichotomy Theorem , Propositional Logic
عنوان كنفرانس :
يازدهمين همايش ساليانه انجمن منطق ايران
چكيده فارسي :
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.
