ABS Ghafoori(Persion)

در اين پايان نامه به بررسي برخي از گزاره هاي معتبر كلاسيك و به طور خاص قضيّهى مقدار مياني در دنياي ساختي مي پردازيم. در اين راستا به اجمال گونه هاي مختلف رياضيات ساختي معرفي و رابطهى بين آن ها بيان مي گردد. سپس به بحث پيرامون اصول غيركلاسيكي خواهيم پرداخت كه نقش مهمّي در رياضيات ساختي بر عهده دارند. علاوه براين، اصولي كه از ديدگاه كلاسيك معتبر امّا در نوع ساختي نيازمند توجيهات مختلف هستند نيز مطرح و نتايج جالب حاصل از حضور اين دو نوع اصل در كنار يكديگر بيان مي گردد.

ABS Akbarifard(Persion)

منطق زماني ATL   براي   بيان گزارههايي در مورد آنچه ائتلافي از بازيكنها در يك همكاري استراتژيك ميتوانند بدان دست يابند ارائه شده است.

منطقATEL   گسترش منطق   ATL بوسيله اضافه كردن ابزار شناخت با تعبير جهانهاي ممكن كه در منطقهاي   شناختي معمول است حاصل شده است .

ABS Kobra Salehi (Persion)

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

Abstract Meghdad Ghari (Persion)

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

ABS Soleimania(Persion)

در اين پايان نامه بعد از تعريف مفهوم كنترل، روابط و قضاياي مربوطه را بررسي و به معرفي سيستم DCL-PC مي­پردازيم كه منطقي براي استدلال درباره توانايي عوامل و ائتلافي از عوامل با استفاده از انتقال كنترل بين عوامل مي­باشد.   پايه منطقي DCL-PC سيستم CL-PC مي­باشد. اين سيستم منطقي است براي همكاري بين عوامل كه عوامل مجموعه­اي از متغييرهاي گزاره­اي را كنترل مي­كنند و توانايي ارزشدهي به متغييرها را دارند. امتياز اين دو سيستم اين است كه اعمال تنها به دو عمل ارزشدهي و انتقال كنترل محدود است و مدل بسيار ساده تر مي­شود.

Abstract Amir Khamseh (Latin)

In this thesis, we study the model-theoretic treatment of a finite version of the Canonical

Ramsey Theorem with a largeness condition and also a version of the Kanamori-McAloon principle. As a consequence, we produce new indicators for cuts satisfying PA. We also study the finite version of Thin Set Theorem.