The web-link to participate in this event:
https://vclass2.modares.ac.ir/b/dav-p84-hhm-pra
First day:Wednesday, 17 February 2021
| Chair |
Time |
Lecturer |
Title |
Abstract |
language |
| Majid Alizadeh |
| 9:30 - 10 |
Opening |
Farsi |
| 10 - 11 |
Mohammad Ardeshir |
New insights on Basic Logic |
|
Farsi |
| 11 - 11:30 |
\(2^6\) |
Farsi and English |
| |
11:30 - 13:30 |
Break |
| Mohammad Ardeshir |
| 13:30 - 14:30 |
Johan van Benthem |
Reasoning about Dependence and Knowledge |
|
English |
| 14:30 - 15 |
Fatemeh Sadat Nabavi |
صورت بندی واجب مشروط در یک منطق تکلیف |
|
Farsi |
| 15 - 15:30 |
Alireza Darabi |
تأملی در قیاسهایی با مقدمهای شرطی و مقدمهای حملی در آثار ابنسینا |
|
Farsi |
| |
15:30 - 16 |
Break |
| Masoud Pourmahdian |
| 16 - 16:30 |
Ali Farjami |
Discursive Input/Output Logic |
|
Farsi |
| 16:30 - 17 |
Amirhoshang Hoseinpour Dehkordi،
Majid Alizadeh، Ali Movaghar |
Linear Temporal Public Announcement Logic:
A new prespective for reasoning about the knowledge of multi-classifiers |
|
Farsi |
| 17 - 17:30 |
Seyed Mohammad Amin Khatami |
Compactness of First-Order Fuzzy Logics |
|
Farsi |
| 17:30 - 18:30 |
Ali Enayat |
The Barwise-Schlipf Characterization of Recursively Saturated Models of Peano Arithmetic, Redux |
|
Farsi |
Second day: Thursday, 18 February 2021
| Chair |
Time |
Lecturer |
Title |
Abstract |
laguage |
| Saeed Salehi Pourmehr |
| 10 - 11 |
Lev D. Beklemishev |
Strictly positive provability logics |
|
English |
| 11 - 11:30 |
Nazanin Roshandel Tavana |
Some model theory for Rational Gödel Logics |
|
Farsi |
| 11:30 - 12 |
Meghdad Ghari |
Tableaux and interpolation for justification logics |
|
Farsi |
| |
12 - 13:30 |
Break |
| Mohammad Ardeshir |
| 13:30 - 14:30 |
Albert Visser |
Cyclic Henkin Logic |
|
English |
| 14:30 - 15 |
Reyhaneh Zoghifard
Mohammad Golshani |
Completeness of the provability logic GL with respect to the filter sequence of normal measures |
|
Farsi |
| 15 - 15:30 |
Dorah Dastgheyb
Hadi Farahani |
یک توسیع شناختی از منطق فازی وکاشیویچ |
|
Farsi |
| |
15:30 - 16 |
Break |
| Mohammad Ali Hojati |
| 16 - 16:30 |
Karim Khanaki |
Neo-Stability project and new classes of theories |
|
Farsi |
| 16:30 - 17 |
Amer Amikhteh |
On Regular Bi-Modal Expansion of Uninorm Fuzzy Logic I:
Labelled Hypersequent Calculi |
|
Farsi |
| 17 - 17:30 |
Seyed Ahmad Mirsanei |
نظریه برهان برای ابداکشن مرتبه اول:
حساب رشتهها و قواعد ساختاری |
|
Farsi |
| 17:30 - 18 |
Amir Hossein Sharafi
Asadollah Fallahi |
Investigation on Pretabular Logics over
Classical Relevance Logic |
|
Farsi |
