פרופ' דב גבאי

פרופ'
פרופ' דב גבאי
דוא"ל: 

תחומי מחקר

לוגיקה יישומית, מודלים לוגיים לחשיבה תלמודית, לוגיקה לא מונוטונית, לוגיקה מודאלית, לוגיקת זמן. מבנים לוגיים בשפה טבעית, תיאוריה כללית של לוגיקות, לוגיקה ובינה מלאכותית