IMG_8027 - Copy.JPG

Mailing List

Fill in this form to get notifications of upcomming events:
Written by S. Mojtaba Mojtahedi
Hits: 8328
Print

74.  Provability Interpretation of Propositional and Modal Logics, By Amirhossein Akbar Tabatabai, Sunday, September 11,  2016 (Shahrivar 21, 1395).

73.  What Computers Cannot Do, Two approaches, By Kai Hauser , Tuesday, March 3,  2015 (Esfand 12, 1393).

72.  Nonuniformity and Uniformity in Proof Complexity, By Kaveh Ghasemloo , Tuesday, September 23,  2014 (Mehr 1, 1393).

71.  Reverse Mathematics: An Overview, By Amir Khamseh, Tuesday, May 20,  2014 (Ordibehesht 30, 1393). (Presentation)

70.  Predicate Glivenko theorems and substructural aspects of negative translations, By Hadi Farahani, Tuesday, April 29, 2014 (Ordibehesht 9, 1393). (Presentation)

69. The Power Set Function: Global Behaviour, By Mohammad Golshani, Tuesday, April 15, 2014 (Farvardin 26, 1393).

68. Automatic Verification of Cryptographic Protocols: A Logic Programming Approach, By Mostafa Zaare, Tuesday, March 4, 2014 (Esfand 13, 1392). (Presentation)

67. نقاط ثابت در منطق‌های موجّهات و توجیه, By Meghdad Ghari, Tuesday, February 4, 2014 (Bahman 15, 1392).(Presentation)

66. کانونی بودن، مقدّماتی بودن و گراف‌هایِ اردوش, By Masoud Memarzadeh, Tuesday, December 3, 2013 (Azar 12, 1392).

65. Effective metric model theory, By Nazanin Roshandel Tavana, Tuesday, November 19, 2013 (Aban 28, 1392). (Presentation)

64. نگاشتِ بستار در آنالیز ساختیBy Zahra Ghafouri, Tuesday, November 5, 2013 (Aban 14, 1392). (Presentation)

63. همه‌نادانیِ مشترک, By Rahim Ramezanian, Tuesday, October 22, 2013 (Mehr 30, 1392).

62. Model theory, Shelah's Stability theory  and applications, By Alireza Mofidi, Tuesday, October 8, 2013 (Mehr 16, 1392).

61. A new approach to the Surprise Examination Paradox, By Vahid Vaezian, Sunday, May 5,  2013 (Ordibehesht 15, 1392).

60. Boolean Algebras in Visser Algebras, By Majid Alizadeh, Sunday, April 21,  2013 (Ordibehesht 1, 1392).

59. قضایای لوونهایم-اسکولم برای منطق موستوفسکی با سورهای تعمیم‌یافته، By Shahram Mohsenipour, Sunday, February 17, 2013 (Bahman 29, 1391).

58. An intuitionistic Epistemic Public Announcement Logic، By Rasool Ramezanian;  Thursday, February 03, 2013 (Bahman 15, 1391).

57. نظریّه‌ی مدل‌ها برای مفهوم برهان، By AmirHossein AkbarTabatabayi;  Thursday, March 03, 2012 (Esfand 13, 1391).

56. Epistemic Protocols, By Rahim Ramezanian; Tuesday, November 13, 2012 (Aban 23, 1391).

55. مبانی شهودگرایی, By Mohammad Ardeshir; October 28, 2012 (Aban 7, 1391).

54. مفهوم حقیقت (صدق) در شهودگرایی, By Mohammad Ardeshir; May 29, 2012 (Khordad 9, 1391).

53. Modal Basic propositional logic,  By Majid Alizadeh, Tuesday, May 8, 2012 (Ordibehesht 19, 1391).

52. A Solution to the Surprise Exam Paradox in Constructive Mathematics, By Rasool Ramezanian, Tuesday, April 24, 2012 (Ordibehesht 5, 1391).

51. Mathematics and Underdetermination: A Defence of Anti-Realism, By Mohammd Saleh Zarepour, Tuesday, April 10, 2012 (Farvardin 22, 1391).

50. Preserving full communication through public announcement, By Rahim Ramezanian, Tuesday, March 6, 2012 (Esfand 16, 1390).

49. Reviewing The Evolution of Principia Mathematica, By Seyed N. Mousavian, Tuesday, February 21, 2012 (Esfand 2, 1390).

48. گسترش ساختی برای سیستم‌های احتمالاتی, By Hassan Haghighi, Tuesday, December 20, 2011 (Azar 29, 1390).

47. Provability Logic of Constructive Arithmetics, By S.Mojtaba Mojtahedi, Tuesday, November 22, 2011 (Azar 1, 1390).

46. Some Rectified Gödelian Ontological Arguments, By Mahdi Ranaee, Tuesday, October 25, 2011 (Aban 3, 1390).

45. حدس شنوئل، مساله ي تارسكي و مباني حساب , By Shahram Mohseni Pour, Monday, July 11, 2011 (Tir 20,1390).

44. پارادكس آزمون غيرمنتظره , By Mohammad Saleh Zarepour; Monday, June 20, 2011( Khordad 30, 1390).

43. منطق دسترس پذيري, By Amir Tabatabayi; Monday, June 6,2011 (Khordad 16,1390).

42. Integral logic and applications, By Seyed Mohammad BagheriMonday, May 23, 2011 (Khordad 2, 1390).

41. When proof doesn't show a truth, By Farzad Didehvar, Monday, May 9, 2011 (Ordibehesht 19, 1390).

40. منطق هور: مقدمه اي بر توصيف و راستي آزمايي برنامه ها, By Mohammad Izadi; December 27, 2010 (Dey 6, 1389).

39. منطق تكليف تحول پذير, By Sara Ershadmanesh; December 13, 2010 (Azar 22, 1389).

38. An Introduction to Second Order Logic, By Elham Faghanimehr; November 29, 2010 (Azar 8, 1389).

37. عملگر منطقي نفي در زبان طبيعي, By Laale Ghadakpour; November 15, 2010 (Ababn 24, 1389).

36. نقد معرفتي شر طبندي پاسكال, By Mahdi Nasrin; October 11, 2010 (Mehr 19, 1389).

35. Realizability, By Seyyed Mojtaba Mojtahedi; June 02, 2010 (Khordad 12, 1389).

34. Dialogical Logic, By Mohammad Ardeshir; May 19, 2010 (Ordibehesht 29, 1389).

33. Algebraic Proof of Cut Elimination, By Fahime Esma'eeli; May 05, 2010 (Ordibehesht 15, 1389).

32. منطق ديناميكي تكليف با مفاهيم تكليفي فقه (II), By Fateme Nabavi; April 21, 2010 (Ordibehesht 1, 1389).

31. منطق ديناميكي تكليف با مفاهيم تكليفي فقه (I), By Fateme Nabavi; April 07, 2010 (Farvardin 18, 1389).

30. درون يابي، تعريف پذيري و ادغام در منطق هاي زيرساختي, By Majid Alizadeh; February 24, 2010 (Esfand 5, 1388).

29. Algebraic Perspective on Substructural Logics (II), By Majid Alizadeh; February 3, 2009 (Bahman 14, 1388).

28. Algebraic Perspective on Substructural Logics (I), By Majid Alizadeh; December 2, 2009 (Azar 11, 1388).

27. First Gettier’s Counter Example and Definite Descriptions, By Mohammad Saleh Zare Pour; November 04, 2009 (Ababn 13, 1388).

26. A Polymodal Provability Logic, By Mojtaba Mojtahedi; October 21, 2009 (Mehr 29, 1388).

25. ?????

24. In Processes, We Believe!, By Mohammadreza Mousavi; May 6, 2009 (Ordibehesht 16, 1388).

23. The Brouwer's Philosophy ( Review  of the book written by Mark van Aten), By Mohammad Ardeshir and Kaveh Lajevardi; February 18, 2009 (Bahman 30,1387).

22. The Algebraization of Intuitionistic Logic, By Majid Alizadeh, January 21, 2009 (Bahman 2, 1387).

21. From Gödel’s Incompleteness to Solovey’s Completeness (II), By Seyyed Mojtaba Mojtahedi; December 24, 2008 (Day 4, 1387).

20. From Gödel’s Incompleteness to Solovey’s Completeness (I), By Seyyed Mojtaba Mojtahedi; December 10, 2008 (Azar 20, 1387).

19. Applicability of Mathematics as a Philosophical Problem, By Pooya Ronagh and Roozbeh Ebrahimi, December 4, 2008 (Azar 13, 1387).

18. An Introduction to Categorical Type Theory (IV), By Golnaz Ghassemi; November 19, 2008 (Aban 29, 1387).

17. An Introduction to Categorical Type Theory (III), By Golnaz Ghassemi; November 12, 2008 (Aban 22, 1387).

16. An Introduction to Categorical Type Theory (II), By Golnaz Ghassemi; November 5, 2008 (Aban 15, 1387).

15. An Introduction to Categorical Type Theory(I), By Golnaz Ghassemi; October 29, 2008 (Aban 8, 1387).

14. Belief, Knowledge, Epistemic Action, By Rasool Ramezanian; October 22, 2008 (Aban 1, 1387).

13. Dynamic Epistemic Logic , By  Sara Ershadmanesh; September 24, 2008 (Mehr 3,1387).

12. Proving Theorems about Lazy Evaluation in Presence of Selective Strictness, By Seyed Hossein Haeri; September 8, 2008 (Shahrivar 18, 1387).

11. رويکرد انقباضگرايانهی ھاريچ به صدق ,By  Mostafa Mohaajeri; May 21, 2008 (Khordaad 1,1387).

10. A Problem about Models of Intuitionistic Arithmetic, Seyyed Mojtaba Mojtahedi; May 14, 2008 (Ordibehesht 25,1387).

9. An Introduction to Ordinal Analysis, By Kaveh Ghasemloo; September 20, 2007 (Shahrivar 28, 1386).

8. Algebra, Proof Theory, and Application of Adjoint Modal Logics, By Mehrnoosh Sadrzadeh; September 12, 2007 (Shahrivar 21, 1386).

7. What Is It Indispensable?, By Mojtaba Soltani; July 18, 2007 (Tir 27, 1386).

6. Let Do Some Logic, By Behzad Khazaie; July 11, 2007 (Tir 20, 1386).

5. Contemporary Truth Theories, By Mohammad Saleh Zarepour; June 4, 2007 (Tir 13, 1386).

4. Introduction to Model Theory, By Zaniar Ghadernejad; June 27, 2007 (Tir 6, 1386).

3. Realizability, By Pooya Ronagh; June 6, 2007 (Khordad 16, 1386).

2. The Exasperating Julius Caesar, By Bahram Asadian; May 30, 2007 (Khordad 9, 1386).

1. Hilbert's Program, By Kaveh Ghasemloo; May 23, 2007 (Khordad 2, 1386).

 

 

 

Last Updated on Wednesday, 07 September 2016 14:26