سیستم حساب رشته ای بدون برش برای منطق موجهات SUPERVISOR Mojtaba Aghaei مجتبی آقائی فروشانی (استاد راهنما) STUDENT Hamzeh Mohammadi حمزه محمدی FACULTY - DEPARTMENT دانشکده ریاضی DEGREE Doctor of Philosophy (PhD) YEAR 1393 TITLE سیستم حساب رشته ای بدون برش برای منطق موجهات Cut-free sequent calculus for modal logic
