西溪逻辑论坛第40期

（本活动受中央高校基本科研业务费专项资金资助）

主题：公开宣告逻辑的混合化
报告人：何键枫
点评人：王轶
时间：2016年10月11日（周二） 13:00-15:00
地点：浙大西溪校区主楼259会议室
摘要：报告主要讨论公开宣告逻辑的混合化。为确保名字不会失去指称，采用保留状态并删除箭头的模型更新方式。通过在混合语言中添加公开宣告算子或间接宣告算子，结合不同的语义，我们得到了不同的逻辑，并考察不同逻辑之间表达力的强弱关系。通过归约公理或典范模型方法，我们为分别这些逻辑提供了可靠完全的公理系统。