首页 > 其他 > 详细

Kripke结构

时间:2020-04-14 23:33:13      阅读:55      评论:0      收藏:0      [点我收藏+]

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

(0)
(0)
   
举报
评论 一句话评论(0
关于我们 - 联系我们 - 留言反馈 - 联系我们:wmxa8@hotmail.com
© 2014 bubuko.com 版权所有
打开技术之扣,分享程序人生!