题名 模态计数逻辑ML(#)在不同框架类下的可判定性
1
作者
付小轩 赵之光
机构
中国政法大学人文学院 泰山学院数学与统计学院
出处
《逻辑学研究》
CSSCI
2024年第3期86-101,共16页
基金
supported by Tsinghua University Initiative Scientific Research Program supported by Taishan Young Scholars Program of the Government of Shandong Province,China(No.tsqn201909151) +1 种基金 Shandong Provincial Natural Science Foundation,China(No.ZR2023QF021) Support Plan on Science and Technology for Youth Innovation of Universities in Shandong Province(No.2021KJ086)。
文摘
在本文中,我们给出模态计数逻辑ML(#)在不同框架类下的可满足性的判定过程。我们使用两种方法,一种是通过修改ML(#)相对于全部克里普克框架的可满足性的判定算法,另一种是将ML(#)的可判定性归约到基本模态逻辑。我们还证明了分次模态计数逻辑GML(#)相对于全部克里普克框架的可判定性。
关键词
可满足性 模态逻辑 可判定性 归约 克里普克 判定 算法框架类 判定 过程
分类号
B815.1
[哲学宗教—逻辑学]
题名 Z-型Rabin树理论的可判定性
2
作者
张炎
机构
中国人民大学哲学院
出处
《逻辑学研究》
CSSCI
2017年第2期99-111,共13页
文摘
Z-型Rabin树是Rabin树的一种变体,它们与Rabin树的主要区别在于不要求树根的存在,而只限制其中的极大枝与整数上的序同构。本文通过归约的方法证明,Z-型Rabin树的一目二阶理论是可判定的。
关键词
可判定性 Rabin树 归约
分类号
B81
[哲学宗教—逻辑学]
题名 基于属性的远程证明模型
被引量：12
3
作者
于爱民 冯登国 汪丹
机构
中国科学院软件研究所信息安全国家重点实验室 中国科学院信息安全共性技术国家工程研究中心
出处
《通信学报》
EI
CSCD
北大核心
2010年第8期1-8,共8页
基金
国家科技支撑计划资助项目(2008BAH22B06) 国家高技术研究发展计划("863"计划)基金资助项目(2007AA01Z412)~~
文摘
针对目前TCG组织定义的远程证明信任链模型在描述基于属性的远程证明时存在的不足,通过对基于属性远程证明过程中的证明请求、可信策略以及可信性评估过程进行抽象,提出了一个新的基于属性的远程证明模型。该模型将传统远程证明中信任链模型扩展为信任图,使得模型能够表达更为灵活的可信策略。还对可信策略的属性可信性判定问题以及可信评估过程终止性问题进行了讨论,给出了相关定理及证明,为可信策略的定义与检查提供了理论基础。基于该模型给出了实现可信网络接入时的可信策略定义,用实例验证了该模型在描述能力方面的增强。
关键词
基于属性的远程证明 信任图 可信策略 可判定性
Keywords
property based remote attestation trust graph trusted policy decidability
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 参数Kleene系统K_p的程度化
4
作者
兰蓉
机构
西安邮电学院信息与控制系
出处
《西安邮电学院学报》
2005年第3期118-121,共4页
文摘
本文对参数Kleene系统Kp=([0,1],∧,∨,θp,)(p∈[0,1])中的运算∧,∨进行了程度化,得到了系统Ip=([0,1],∧p,∨p,θp,)(p∈[0,1])。对p=0与p>0两种情况下的系统Ip与其三元子代数及经典二值系统c2之间(广义)重言式的关系进行了研究,得到这两种情形下系统Ip的广义重言式分类定理,指出系统Ip的广义重言式的可判定性。
关键词
T-模 蕴涵算子 广义重言式 可判定性
Keywords
t - norms implication operator generalized tautology decidability
分类号
Q144
[生物学—生态学]
题名 论辩证逻辑的形式系统Z与ZT的超协调性
被引量：5
5
作者
张金成
出处
《武汉大学学报（人文科学版）》
1993年第4期48-53,共6页
文摘
本文先着重从超越世界的语义学角度,讨论辩证逻辑形式系统Z的超协调性。进而在系统Z的基础上建立一个句法上扩展的超协调系统ZT。在系统ZT内进一步阐明辩证否定的逻辑性质。
关键词
形式系统 合式公式 真值表 逻辑系统 可判定性 超协调性 逻辑学 矛盾律 辩证逻辑 公理
分类号
C55
[社会学]
