|
已选(0)清除
条数/页： 排序方式：
|
| 正规多模态逻辑的混合系统 期刊论文
重庆理工大学学报(社会科学), 2018, 卷号: 第1期, 页码: 15-22
作者: 霍旭
  收藏 | 浏览/下载：1/0 | 提交时间：2019/04/17
|
| 有限模型下的模态概率逻辑 期刊论文
2016, 2016
肖波; Bo Xiao
收藏 | 浏览/下载：3/0 |
| 普莱尔混合时态逻辑的思想基础* 期刊论文
逻辑学研究, 2016, 卷号: 第9卷, 页码: 45-60
作者: 霍书全
收藏 | 浏览/下载：13/0 | 提交时间：2019/04/17
|
| 多模态逻辑的研究动因及意义 期刊论文
河北学刊, 2015, 期号: 4, 页码: 28-31
作者: 赵贤[1]; 张燕京[2]
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/21
|
| 描述逻辑ELU概念及术语公理集的表达能力刻画 期刊论文
软件学报, 2014
申宇铭; 王驹; 唐素勤
收藏 | 浏览/下载：3/0 | 提交时间：2015/11/11
|
| 谓词抽象研究 学位论文
2014, 2014
魏燕侠
收藏 | 浏览/下载：7/0 | 提交时间：2016/01/12
|
| 命题模态逻辑的模型构造和完备性证明 期刊论文
计算机应用与软件, 2014, 卷号: 31, 期号: 8, 页码: 9-12,24
柳欣欣; 李小燕
收藏 | 浏览/下载：13/0 | 提交时间：2014/12/16
|
| S4I2 逻辑的有穷模型性问题 学位论文
2014
作者: 李楷
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/05
|
| 多模态公理化系统的可分离性研究 期刊论文
重庆理工大学学报（社会科学版）, 2014, 期号: 9, 页码: 19-23
作者: 赵贤[1]
收藏 | 浏览/下载：6/0 | 提交时间：2019/12/21
|
| 基于PCL的安全协议匿名性形式化分析方法的研究 学位论文
2014
作者: 韩世宁
收藏 | 浏览/下载：10/0 | 提交时间：2020/11/05
|
