|
Seminar on Mathematical Logic
|
سمینار منطق ریاضی
|
|
|
|
TITLE
|
Sequent calculus systems for modal logic S5
|
|
|
SPEAKER
|
|
Mojtaba Aghaei
|
|
|
|
Isfahan University of Technology
|
|
|
|
|
|
|
|
TIME
|
|
Thursday, December 6, 2018,
|
|
14:00 - 16:00
|
|
|
|
VENUE |
Lecture Hall 1, Niavaran Bldg.
|
|
|
SUMMARY |
|
|
|
تهران، ضلع جنوبی
ميدان شهيد باهنر (نياوران)، پژوهشگاه
دانشهای بنيادی، پژوهشکده رياضيات
School of
Mathematics, Institute for Research in
Fundamental Sciences (IPM), Niavaran
Bldg., Niavaran Square, Tehran
ipmmath@ipm.ir
♦ +98 21
22290928 ♦
math.ipm.ir |
|
|
|
