申请试用
HOT
登录
注册
 
023-Modal Logic and Its Applications

023-Modal Logic and Its Applications

飞飞fly
/
发布于
/
1861
人观看
This chapter is mainly about Modal Logic and Its Applications, which generally includes from boolean logic to high order predicate modal logic,proof rules for modal logic,X's proof system,types of modal logic,main concepts of modal magic,kripke and semantics of modal logic,the logic of requirement LRT and so on.
9 点赞
2 收藏
0下载
相关文档
确认
3秒后跳转登录页面
去登陆