对应理论

两个格式塔中的模态逻辑

安保、界限和广义语义学

动态箭号逻辑笔记

谓词逻辑的模态基础

使互模拟安全的程序构造

“人的存在并非是孤立的”：逻辑与交流

信念修正的动态逻辑

偏好升级的动态逻辑

动态认知逻辑中的博弈

作为进程模型的扩展博弈

逻辑博弈对博弈逻辑是完全的

博弈中的理性动态和认知逻辑

附录一 英-汉专业术语对照表

附录二 英-汉人名对照表

致谢