ABS Pourhaghani(Persion)

در اين پايان نامه يكي از توسيع هاي منطق تكليف به نام منطق ورودي/خروجي مورد بررسي قرار گرفته است. منطق تكليف يكي از شاخه هاي منطق موجهات است كه به بررسي گزاره هاي در باره وظيفه، مجوز و ممنوعيت مي پردازد و در سال 1951 توسط فون رايت معرفي گرديد. اما از همان ابتدا پارادوكسهاي زيادي براي آن به وجود آمد. يكي از اين توسيع منطق   ورودي/خروجي است كه در سال 2000 ارائه گرديد و تا سال 2003 با ارائه دو مقاله ديگر اين منطق به عنوان توسيعي از منطق تكليف كامل گرديد.

ABS Moosavi(Latin)

ABSTRACT:  

  In this thesis, we present an expanded account of logics for coalition games based on an article by Hoek and Wooldridge (2006).

   – First, we define a correspondence relation, between QCGs and   interpretations for CL. The idea is that this relation characterises the circumstances under which a QCG and an interpretation for CL say the same things about coalitions, and hence are equivalent at this level of analysis.

ABS Moosavi(Persion)

در اين پايان نامه   چند نسخه متفاوت از بازي هاي ائتلافي معرفي مي شود . در اين بازيها مفاهيمي چون قانع شدن ائتلاف، ائتلاف مينيمال، بازيگر كليدي ومجموعه پيشنهادي تعريف مي   شود.با توجه به اينكه نسخه هاي متفاوتي از بازيهاي ائتلافي وجود دارد براي صورتبندي و استدلال در مورد مسائل مطرح شده در هر بازي منطقهاي متفاوتي متناسب با شرائط بازي ايجاد شده است كه در اين پايان نامه مورد بررسي قرار مي گيرد.

-

ABS Sobhanian (Persion)

در اين پايان­نامه به صورت­بندي و بيان يك سيستم استنتاجي براي يك منطق كنترل دسترسي پرداخته­ايم كه هم براي كنترل دسترسي و هم براي بررسي تطابق با قوانين مفيد است. اين سيستم منطقي قابليت بيان سيستم­هاي كنترل دسترسي، به عنوان يك دستگاه حقوقي و قانوني را دارد. نخست عملگر says، از منطق­هاي كنترل دسترسي را مورد توجه قرار داده­ايم. عملگر says مفهوم «گفتن» به عنوان يك وجه در منطق موجهاتي بيان مي­شود. در اين ديدگاه عملگر says مفهوم «گفتن» را به صورت شهودي مدل­سازي مي­كند.

ABS Kobra Salehi (Persion)

اين پايان­نامه اولين مطالعه­ي نظريه­ اثباتي و نظريه مدلي از تركيب منطق­هاي با زمان محدود و   منطق­هاي ساختي است. ابتدا به منظور فراهم كردن يك پايه نظري مفيد براي استدلال­هاي زماني كه داراي خاصيت   ساختي و فراسازگارند،   دو منطق IB[l]   و PB[l]   معرفي مي­شود. اين منطق­ها دو مدل محدود و ساختي از LTL و توسيع­هايي از منطق شهودي يا منطق فراسازگار نلسون هستند كه تحت عنوان حساب­هاي رشته­اي گنتسني   [l] و PB[l] معرفي مي­شوند.

Abstract Meghdad Ghari (Persion)

در اين رساله به بررسي منطقهاي توجيه و ارتباط آنها با منطقهاي موجهات مي‌پردازيم. نتايج اين رساله به سه گروه قابل تقسيم هستند. ارايه منطقهاي توجيه جديد، از جمله: ‎ JB (صورت صريح منطق موجه براوري ‎ KB)، ‎ JGL (صورت صريح منطق اثبات‌پذيري گودل لوب ‎ GL)‎ و JLD (صورتهاي صريح منطقهاي دانشي توزيعي).