Kripke结构 http://blog.sina.com.cn/s/blog_53a8498d010178t1.html 模态逻辑的类型 http://blog.sina.com.cn/s/blog_53a8498d010178z1.html 线性时态逻辑 http://blog.sina.com.cn/s/blog_53a8498d010178zn.html
Kripke结构
原文：https://www.cnblogs.com/rainouyang/p/12702027.html
