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

内容简介:
此次讲座是前段时间外哲所举办的系列讲座的继续，内容是关于stit和action的混合的一些初步的技术问题，包括这一混合逻辑的公理化问题、判定问题、以及关于这一混合与分枝ETL的表示定理等。