نام پژوهشگر: شیما فلاحتی
شیما فلاحتی مجتبی آقایی
منطق های توجیه، منطق های شناختی است که به طور صریح شامل توجیهاتی برای دانش عامل هاست. در این پایان نامه، یک منطق توجیه چند عاملی با ترم های توجیه برای عامل های فردی و نیز برای دانش عمومی می شود و یک معناشناسی کریپکی که مشابه معناشناسی فیتینگ برای منطق اثبات های lp است تعریف می کنیم. همچنین سلامت، تمامیت و ویژگی مدل متناهی منطق توجیه چند عاملی نسبت به معناشناسی کریپکی نشان داده می شود. اثبات می کنیم که این منطق یک گسترش پایستار از منطق توجیه صریح مینیمال دو موجهی یاورسکایا است که یک نسخه ی دو عاملی از lp است و ارتباط این منطق با منطق موجه چند عاملی s4 با دانش عمومی مطرح می شود. در آخر، یک تحلیل مختصری از مسئله ی حمله ی هماهنگ در زبان اخیراً توسعه یافته از این منطق بررسی می شود.
شیما فلاحتی مجتبی آقایی
منطق های توجیه، منطق های شناختی است که به طور صریح شامل توجیهاتی برای دانش عامل هاست. در این پایان نامه، یک منطق توجیه چند عاملی با ترم های توجیه برای عامل های فردی و نیز برای دانش عمومی می شود و یک معناشناسی کریپکی که مشابه معناشناسی فیتینگ برای منطق اثبات های lp است تعریف می کنیم. همچنین سلامت، تمامیت و ویژگی مدل متناهی منطق توجیه چند عاملی نسبت به معناشناسی کریپکی نشان داده می شود. اثبات می کنیم که این منطق یک گسترش پایستار از منطق توجیه صریح مینیمال دو موجهی یاورسکایا است که یک نسخه ی دو عاملی از lp است و ارتباط این منطق با منطق موجه چند عاملی s4 با دانش عمومی مطرح می شود. در آخر، یک تحلیل مختصری از مسئله ی حمله ی هماهنگ در زبان اخیراً توسعه یافته از این منطق بررسی می شود.