2020年4月14日
模态逻辑
摘要： Kripke结构 http://blog.sina.com.cn/s/blog_53a8498d010178t1.html 模态逻辑的类型 http://blog.sina.com.cn/s/blog_53a8498d010178z1.html 线性时态逻辑 http://blog.sina.com 阅读全文
posted @ 2020-04-14 22:59 ouyangyangyang 阅读(344) 评论(0) 推荐(0) 编辑