王轶报告:混合语言下的空间逻辑

发布时间:2008-12-22 来源:本站原创 作者:本站编辑   浏览次数:

逻辑讨论班报告:混合语言下的空间逻辑

 

报告人:王轶(北京大学和奥克兰大学联合培养博士生)

时间:2008年12月24号(周三)晚上7点         地点:中心多媒体三教室

简介:首先简要介绍一下混合语言,然后在混合语言下由Kripke语义学过渡到拓扑语义学和邻域语义学(这里统称"空间语义学")。在空间语义下将混合算子用于"邻域"上可以得到所谓的"二维"混合空间逻辑,通用的演算系统将通过"内嵌"(internalizing)的方法得到。混合空间逻辑对于认知行为的刻画与经典的认知逻辑具有不同的视角,但又并不冲突,其间的关系值得进一步探究。

参考文献:

1. Parikh, R., Moss, L.S., Steinsvold, C.: Topology and epistemic logic. In Aiello, M., Pratt-Hartmann, I.E., van Benthem, J.F., eds.: Handbook of Spatial Logics. (2007) 299–341

2. Seligman, J.: Internalization: The case of hybrid logics. Journal of Logic and Computation 11(5) (2001) 671–689 Special Issue on Hybrid Logics. Areces, C. and Blackburn, P. (eds.).

3. Wang, Y. N. (2009). A two-dimensional hybrid logic of subset spaces. In Ramanujam, R. and Sarukkai, S., editors, 

Proceedings of the Third Indian Conference on Logic and Applications LNAI 5378 . 

Springer. pp 198-211.