中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共9条，第1-9条

帮助

条数/页：排序方式：
	具有模态词□φ=□1φ∨□2φ且可靠与完备的公理系统期刊论文 OAI收割软件学报, 2015, 卷号: 26.0, 期号: 009, 页码: 2286 作者: 邓少波; 黎敏; 曹存根; 眭跃飞 \| 收藏 \| 浏览/下载：2/0 \| 提交时间：2023/12/04 命题模态逻辑模态词公理系统
	公式分层的谓词模态逻辑期刊论文 OAI收割软件学报, 2014, 卷号: 25.0, 期号: 005, 页码: 1014 作者: 孙梅莹; 邓少波; 陈博; 曹存根; 眭跃飞 \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2023/12/04 跨可能世界相等谓词模态逻辑可变论域语义 Ⅴ-性质可靠性完备性
	时间相关密码协议逻辑及其形式化语义期刊论文 OAI收割软件学报, 2011, 卷号: 22, 期号: 3, 页码: 534-557 雷新锋; 刘军; 肖军模 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/10/10 密码协议时间相关谓词模态逻辑形式化语义Cryptography Formal logic Semantics
	Formalization and specification for controlling process modularity in mobile computing 学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2008 Takashi KITAMURA \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2011/03/17 进程代数 Pi演算分布移动计算模态逻辑 Mu演算模型检测
	纤维逻辑期刊论文 OAI收割计算机科学, 2006, 卷号: 33.0, 期号: 1.0, 页码: 1 作者: 邱莉榕; 杨柳; 史忠植 \| 收藏 \| 浏览/下载：3/0 \| 提交时间：2023/12/04 形式逻辑 BDI逻辑多模态逻辑纤维逻辑模态逻辑纤维可能世界语义命题逻辑人工智能复杂性
	移动进程的空间逻辑期刊论文 OAI收割中国科学E辑, 2004, 卷号: 34, 期号: 2, 页码: 139-150 林惠民 \| 收藏 \| 浏览/下载：4/0 \| 提交时间：2010/08/24 模态逻辑谓词μ-演算模型检测移动进程异步π-演算
	面向传值进程的一阶模态逻辑的可判定性与模型检测期刊论文 OAI收割中国科学E辑, 2003, 卷号: 33, 期号: 2, 页码: 97-110 薛锐; 林惠民 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2010/08/24 一阶模态逻辑可判定性模型检测传值进程
	关于“为设计认证协议的一个简明逻辑”一文的注记期刊论文 OAI收割软件学报, 2001, 卷号: 12, 期号: 11, 页码: 1581-1585 季庆光; 冯登国 \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2010/05/26 协议交互攻击安全性模态逻辑分析
	模态逻辑推理的翻译方法期刊论文 OAI收割计算机研究与发展, 1998, 卷号: 35, 期号: 5, 页码: 389-392 张健 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2010/08/11 命题模态逻辑自动定理证明可满足性判定