Dov M. Gabbay: seminar on abstract argumentation and case study (March 25th)

Dov M. Gabbay，伦敦国王学院的德摩根讲习教授，是世界上最活跃、最有影响力的逻辑学研究者之一。他开创了新的、活跃的研究领域，包括:带标签的演绎系统、公理化非单调逻辑、目标导向证明理论和命令式时序逻辑等。