检索结果-南通市图书馆

毕节学院学报（综合版） 2012年第1期30卷 47-50页

作者：李健太原科技大学哲学研究所山西太原030024

模型检测是逻辑学和计算机科学中的一个重要研究领域,作为模态逻辑的一个重要分支时间逻辑,它的繁荣发展就出现在这一领域。模型检测是关于时间逻辑判定问题的研究,其研究的两类实体:一是关于刻画程序计算性质的逻辑公式,二是用来刻画... 详细信息

模型检测是逻辑学和计算机科学中的一个重要研究领域,作为模态逻辑的一个重要分支时间逻辑,它的繁荣发展就出现在这一领域。模型检测是关于时间逻辑判定问题的研究,其研究的两类实体:一是关于刻画程序计算性质的逻辑公式,二是用来刻画程序的模型,模型检测的任务就是要校准这两种不同形式的信息——公式和模型——是否相一致。

关键词：模型检测时间逻辑可判定性模态逻辑

在线全文

学校读者我要写书评

暂无评论

模态逻辑与哲学

北京航空航天大学学报（社会科学版） 2000年第3期13卷 32-36页

作者：周北海北京大学哲学系北京100871

模态逻辑是关于必然性与可能性的逻辑,因此也就涉及到必然与可能相关的一些哲学问题。除语义学方面的问题外,模态逻辑自身也存在与哲学相关的问题,如本质主义问题、抽象实体的存在性问题等。模态逻辑也引发一些哲学问题,如可能世界的本... 详细信息

模态逻辑是关于必然性与可能性的逻辑,因此也就涉及到必然与可能相关的一些哲学问题。除语义学方面的问题外,模态逻辑自身也存在与哲学相关的问题,如本质主义问题、抽象实体的存在性问题等。模态逻辑也引发一些哲学问题,如可能世界的本体论问题,可能个体的跨界同一和识别问题等。模态逻辑的研究成果对当代哲学的发展也具有重要的意义。当代马克思主义哲学的研究也应该结合与考察现代逻辑的研究成果。

关键词：模态逻辑本质主义哲学抽象实体现代逻辑

在线全文

学校读者我要写书评

暂无评论

模态逻辑模型的嵌入定理

模态逻辑模型的嵌入定理

作者：孙希文哈尔滨工业大学计算机系

本文将Henkin的嵌入定理从经典逻辑推广到模态逻辑,并用超积方法证明该定理。

关键词：模态逻辑模态结构原同态单同态嵌入子结构主成子结构

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

模态逻辑两个定理的基于向前向后方法的证明

北京工商大学学报（自然科学版） 2002年第4期20卷 62-64页

作者：潘孝铭华侨大学计算机科学系福建泉州362011

向前向后方法是模型论及其应用研究中的一个新的工具 .本文使用向前向后方法 ,对模态逻辑的两个定理构造了一种简单的证明 .

关键词：模态逻辑向前向后方法模态内插定理 VanBenthem定理模态等价公式

在线全文

学校读者我要写书评

暂无评论

模态逻辑系统S5的本原运算子集

河北大学学报（自然科学版） 1997年第4期17卷 60-62页

作者：李芸董克诚河北大学电子系河北大学数学系

探讨了模态逻辑系统Ｓ５的运算子性质，进而证明关于它的本原运算子集的一个定理，并给出一些推论。

关键词：模态逻辑模态词本原运算子模态命题演算

在线全文

学校读者我要写书评

暂无评论

模态逻辑S_5的表推演系统TS_5

南京建筑工程学院学报 1996年第1期 29-33页

作者：施庆生宫宁生何嘉鹏南京建筑工程学院基础部南京建筑工程学院城建系南京210009

进一步讨论关于正规模态逻辑S_5的自动定理证明理论与方法.给出了正规模态逻辑S_5的表推演(Tableau)系统TS_(?).证明了该系统的可靠性与完备性。

关键词：模态逻辑表推演自动定理证明 TS5

在线全文

学校读者我要写书评

暂无评论

W—JS有关“知道”的模态逻辑

计算机研究与发展 1982年第12期 1-12页

作者：马希文郭维德北京大学

“知道”逻辑是诸多学科领域共同关心的课题。近年来,从数理逻辑角度对此进行研究所得的一些成果,在计算机人工智能中有着重要的应用。本文介绍了这方面的有关问题及进展,构造了“知道”的模态逻辑的谓词演算,包括建立其形式系统(命名为... 详细信息

“知道”逻辑是诸多学科领域共同关心的课题。近年来,从数理逻辑角度对此进行研究所得的一些成果,在计算机人工智能中有着重要的应用。本文介绍了这方面的有关问题及进展,构造了“知道”的模态逻辑的谓词演算,包括建立其形式系统(命名为W),给出它的语义解释(命名为JS),讨论W-JS的某些重要的系统特征,并通过著名的“S先生和P先生”谜题,阐述了有关“知道”的模态逻辑问题在W-JS下的形式化。

关键词：模态逻辑命题演算谓词演算特例哲理逻辑命题函数演算概念词可能界 JS

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

双模拟与模态逻辑

重庆理工大学学报（社会科学） 2011年第8期25卷 77-82页

作者：姚从军湖南科技学院思政部湖南永州425100

首先基于模型上的模拟概念定义了模型上的双模拟概念,并给出双模拟模态不变性和模态等价性的定义。在此基础上,讨论了模态逻辑与双模拟之间的关系;进一步分别在语言ML(τ,Φ)和ML∞(τ,Φ)中分析了模态等价性与双模拟不变性之间的关系;... 详细信息

首先基于模型上的模拟概念定义了模型上的双模拟概念,并给出双模拟模态不变性和模态等价性的定义。在此基础上,讨论了模态逻辑与双模拟之间的关系;进一步分别在语言ML(τ,Φ)和ML∞(τ,Φ)中分析了模态等价性与双模拟不变性之间的关系;最后证明了正存在模态公式与双模拟之间的关系,并把正存在模态公式刻画为一阶公式双模拟不变部分。

关键词：模拟双模拟模态逻辑正存在模态公式双模拟不变性

基于复合模态词模态逻辑的大数据知识表示方法及其在水文信息中应用

在线全文

学校读者我要写书评

暂无评论

南昌工程学院学报 2019年第3期38卷 77-84页

作者：邓少波关素洁王磊黎敏南昌工程学院信息工程学院

针对狭义或广义模态逻辑在大数据知识表示中的不足,给出一种新的大数据表示方法:基于复合模态词模态逻辑的大数据表示方法。给出其语言、语法与语义,证明该逻辑在一般可达关系下的公理系统K2的可靠性定理与完备性定理,并结合水文信息给... 详细信息

针对狭义或广义模态逻辑在大数据知识表示中的不足,给出一种新的大数据表示方法:基于复合模态词模态逻辑的大数据表示方法。给出其语言、语法与语义,证明该逻辑在一般可达关系下的公理系统K2的可靠性定理与完备性定理,并结合水文信息给出这种大数据知识表示应用实例。

关键词：模态逻辑大数据水文信息可靠性定理完备性定理