|
|
|
|
a fixed-parameter study on propositional dynamic logic
|
|
|
|
|
|
|
|
نویسنده
|
hosseinpour mohammad javad ,didevar farzad
|
|
منبع
|
يازدهمين همايش ساليانه انجمن منطق ايران - 1402 - دوره : 11 - یازدهمین همایش سالیانه انجمن منطق ایران - کد همایش: 02231-26538 - صفحه:0 -0
|
|
چکیده
|
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.
|
|
کلیدواژه
|
propositional dynamic logic ,fixed-parameter ,schaefer’s dichotomy theorem ,propositional logic
|
|
آدرس
|
, iran, , iran
|
|
پست الکترونیکی
|
didehvar@aut.ac.ir
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|