پیوند شرکت در همایش: (شرکت در همایش برای عموم علاقه‌مندان، آزاد و رایگان است)
https://vclass2.modares.ac.ir/b/dav-p84-hhm-pra
روز اول: چهارشنبه ۲۹ بهمن ۱۳۹۹
| رئیس جلسه |
ساعت |
سخنران |
عنوان سخنرانی |
چکیده |
ویدئو |
زبان
language |
| مجید علیزاده |
| 9:30 - 10 |
افتتاحیه |
|
فارسی
Farsi |
| 10 - 11 |
محمّد اردشیر |
New insights on Basic Logic |
|
|
فارسی
Farsi |
| 11 - 11:30 |
دو به توان شش (برنامه‌ی ویژه) |
|
فارسی و انگلیسی
Farsi & English |
| |
11:30 - 13:30 |
استراحت |
| محمّد اردشیر |
| 13:30 - 14:30 |
Johan van Benthem |
Reasoning about Dependence and Knowledge |
|
|
انگلیسی
English |
| 14:30 - 15 |
فاطمه‌سادات نبوی |
صورت بندی واجب مشروط در یک منطق تکلیف |
|
|
فارسی
Farsi |
| 15 - 15:30 |
علیرضا دارابی |
تأملی در قیاس‌هایی با مقدم‌ه‍ای شرطی و مقدم‌ه‍ای حملی در آثار ابن‌سینا |
|
|
فارسی
Farsi |
| |
15:30 - 16 |
استراحت |
| مسعود پورمهدیان |
| 16 - 16:30 |
علی فرجامی |
Discursive Input/Output Logic |
|
|
فارسی
Farsi |
| 16:30 - 17 |
امیرهوشنگ حسین‌پور دهکردی،
مجید علیزاده، علی موقّر |
Linear Temporal Public Announcement Logic:
A new prespective for reasoning about the knowledge of multi-classifiers |
|
|
فارسی
Farsi |
| 17 - 17:30 |
سیدمحمّدامین خاتمی |
Compactness of First-Order Fuzzy Logics |
|
|
فارسی
Farsi |
| 17:30 - 18:30 |
علی عنایت |
The Barwise-Schlipf Characterization of Recursively Saturated Models of Peano Arithmetic, Redux |
|
|
فارسی
Farsi |
روز دوم: پنجشنبه ۳۰ بهمن ۱۳۹۹
| رئیس جلسه |
ساعت |
سخنران |
عنوان سخنرانی |
چکیده |
ویدئو |
زبان
language |
| سعید صالحی پورمهر |
| 10 - 11 |
Lev D. Beklemishev |
Strictly positive provability logics |
|
|
انگلیسی
English |
| 11 - 11:30 |
نازنین روشندل توانا |
Some model theory for Rational Gödel Logics |
|
|
فارسی
Farsi |
| 11:30 - 12 |
مقداد قاری |
Tableaux and interpolation for justification logics |
|
|
فارسی
Farsi |
| |
12 - 13:30 |
استراحت |
| محمّد اردشیر |
| 13:30 - 14:30 |
Albert Visser |
Cyclic Henkin Logic |
|
|
انگلیسی
English |
| 14:30 - 15 |
ریحانه ذوقی‌فرد
محمد گلشنی |
Completeness of the provability logic GL with respect to the filter sequence of normal measures |
|
|
فارسی
Farsi |
| 15 - 15:30 |
درة‌السادات دستغیب
هادی فراهانی |
یک توسیع شناختی از منطق فازی وکاشیویچ |
|
|
فارسی
Farsi |
| |
15:30 - 16 |
استراحت |
| محمّدعلی حجتی |
| 16 - 16:30 |
کریم خانکی |
Neo-Stability project and new classes of theories |
|
|
فارسی
Farsi |
| 16:30 - 17 |
عامر آمیخته |
نسخه‌های فازی منطق موجهات R و K:
حساب ابررشته‌های برچسب‌خورده |
|
|
فارسی
Farsi |
| 17 - 17:30 |
سید احمد میرصانعی |
نظریه برهان برای ابداکشن مرتبه اول:
حساب رشته‌ها و قواعد ساختاری |
|
|
فارسی
Farsi |
| 17:30 - 18 |
امیرحسین شرفی
اسداللّه فلّاحی |
Investigation on Pretabular Logics over
Classical Relevance Logic |
|
|
فارسی
Farsi |
