|
已选(0)清除
条数/页： 排序方式： |
| 具有模态词□φ=□1φ∨□2φ且可靠与完备的公理系统 期刊论文
软件学报, 2015, 卷号: 26.0, 期号: 009, 页码: 2286
作者: 邓少波; 黎敏; 曹存根; 眭跃飞
  收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
命题模态逻辑 模态词 公理系统 |
| 公式分层的谓词模态逻辑 期刊论文
软件学报, 2014, 卷号: 25.0, 期号: 005, 页码: 1014
作者: 孙梅莹; 邓少波; 陈博; 曹存根; 眭跃飞
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
跨可能世界相等 谓词模态逻辑 可变论域语义 Ⅴ-性质 可靠性 完备性 |
| 无权访问的条目 期刊论文
作者: 申宇铭; 马越; 曹存根; 眭跃飞; 王驹
Adobe PDF(402Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/10/18 |
| 无权访问的条目 期刊论文
作者: 江峰; 眭跃飞; 曹存根
Adobe PDF(423Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/01/13 |
| 无权访问的条目 期刊论文
作者: 潘 瑜; 曹存根; 眭跃飞
Adobe PDF(410Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/10/13 |
| 无权访问的条目 期刊论文
作者: 张冬蕾; 雍兮; 曹存根
Adobe PDF(452Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/02/02 |
| 无权访问的条目 期刊论文
作者: 王海涛; 岳小莉
Adobe PDF(452Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/02/02 |
| 无权访问的条目 期刊论文
作者: 曹存根; 岳小莉; 眭跃飞
Adobe PDF(169Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/02/02 |
| 无权访问的条目 期刊论文
作者: 潘瑜; 眭跃飞; 岳小莉; 杨垚; 曹存根
Adobe PDF(512Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/02/02 |
| 纤维逻辑 期刊论文
计算机科学, 2006, 卷号: 33.0, 期号: 1.0, 页码: 1
作者: 邱莉榕; 杨柳; 史忠植
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
形式逻辑 BDI逻辑 多模态逻辑 纤维逻辑 模态逻辑 纤维 可能世界语义 命题逻辑 人工智能 复杂性 |
