| سخنران | عنوان | چکیده |
| عامر آمیخته | نسخههای فازی منطق موجهات R و K: حساب ابررشتههای برچسبخورده |
|
| امیرهوشنگ حسینپور دهکردی، مجید علیزاده، علی موقّر |
Linear Temporal Public Announcement Logic: A new prespective for reasoning about the knowledge of multi-classifiers |
|
| سیدمحمّدامین خاتمی | Compactness of First-Order Fuzzy Logics | |
| کریم خانکی | Neo-Stability project and new classes of theories | |
| علیرضا دارابی | تأملی در قیاسهایی با مقدمهای شرطی و مقدمهای حملی در آثار ابنسینا | |
| درةالسادات دستغیب هادی فراهانی |
یک توسیع شناختی از منطق فازی وکاشیویچ | |
| ریحانه ذوقیفرد محمد گلشنی |
Completeness of the provability logic GL with respect to the filter sequence of normal measures | |
| نازنین روشندل توانا | Some model theory for Rational Gödel Logics | |
| امیرحسین شرفی اسداللّه فلّاحی |
Investigation on Pretabular Logics over Classical Relevance Logic |
|
| علی فرجامی | Discursive Input/Output Logic | |
| مقداد قاری | Tableaux and interpolation for justification logics | |
| سید احمد میرصانعی | نظریه برهان برای ابداکشن مرتبه اول: حساب رشتهها و قواعد ساختاری |
|
| فاطمهسادات نبوی | صورت بندی واجب مشروط در یک منطق تکلیف | |
| همهی چکیدهها یکجا | ||
پیوند شرکت در همایش: (شرکت در همایش برای عموم علاقهمندان، آزاد و رایگان است)