国产91麻豆一区二区久久久

题目：Stit 和 Action 的混合
讲演人：徐明，武汉大学哲学系教授
时间：12月23日（星期二）下午14:00-17:00
地点：哲学系一楼大会议室

内容介绍:
此次讲座是前段时间外哲所举办的系列讲座的继续，内容是对于蝉迟颈迟和补肠迟颈辞苍的混合的一些初步的技术问题，包括这一混合逻辑的公理化问题、判定问题、以及对于这一混合与分枝贰罢尝的表示定理等。