云南高校图书馆联盟文献共享服务平台- 模态逻辑

模态逻辑: 作品数：382被引量：412H指数：9; 导出分析报告; 相关领域：哲学宗教自动化与计算机技术更多>>; 相关作者：姚从军孙吉贵刘叙华刘新文余俊伟更多>>; 相关机构：吉林大学中国社会科学院哲学研究所北京大学南开大学更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金国家社会科学基金国家高技术研究发展计划国家教育部博士点基金更多>>

从“帽子游戏”看模态逻辑如何表达禁自返性: 《贵州工程应用技术学院学报》2024年第6期63-70,共8页陈亮; “帽子游戏”形式化的核心是定义禁自返性,然而该性质无法在基本模态逻辑中得出,它可以用一阶公式表达,却没有对应的模态公式。为了在模态逻辑中表达禁自返性,逻辑学家提出了几种方案:禁自返系统就是K系统,禁自返性可以在多模态逻辑中...; 关键词：模态逻辑关系禁自返性混合逻辑

接受一种逻辑,接受一种理论: 《社会科学战线》2024年第11期1-15,281,共16页唐瑞雪(译); 文章回应了索尔·克里普克对采用择代逻辑想法的批评,捍卫一种反逻辑例外论。根据这种观点,接受一种新逻辑是接受一种新科学理论的特殊情况。关于量化模态逻辑的争论详细地说明了这一观点。民间逻辑与科学逻辑的区分以民间物理学与科学...; 关键词：模态逻辑直觉主义逻辑择代逻辑克里普克蒯因达米特普特南

基本Łukasiewicz m-值条件句逻辑: 《逻辑学研究》2024年第5期1-20,共20页霍书全; 国家社会科学基金重大项目“面向自然语言理解的逻辑构建和符号接地问题的哲学、心理学研究”(18ZDA032)。; 经典条件句逻辑被广泛地研究过,近几年,一些非经典的条件句逻辑也开始出现。多值逻辑承认命题可以取多个真值,具有容错能力,其蕴涵词和经典蕴涵词类似,同样可以刻画条件句,因此我们也应该有多值逻辑条件句逻辑。本文将基于Łukasiewicz m...; 关键词：基本条件句逻辑 Łukasiewicz m-值逻辑多值模态逻辑 Kripke语义

描述例外的基数模态逻辑系统: 《逻辑学研究》2024年第5期21-38,共18页罗昊轩郭佳宏; 国家社会科学基金重大项目“大数据背景下人工智能及其逻辑的哲学反思”(19ZDA041)。; 本文关注的问题是如何对允许例外情况存在的几乎必然命题进行形式化。在日常交流和科学研究中,很多普遍形式表述的命题都存在着例外情况,只是例外情况有时可以被忽略。为了区分含有不同程度例外情况的普遍性陈述,本文借助基数的概念,构...; 关键词：基数几乎必然命题基数模态逻辑典范模型可数模型性

模糊模态集合论及其多元G值模型: 《模糊系统与数学》2024年第4期11-20,共10页杨帆; 中央高校基本科研业务费专项资金资助“面向机器定理证明的模糊逻辑研究”(3132022308)。; 为了构造基于模糊模态逻辑的ZF型集合论,从Godel模态逻辑的□片段出发构造其一阶形式G□∀△,给出其公理系统和模型,以此为底层逻辑构造ZF型模糊模态集合论GZF。结合集合论多元宇宙观的思想,提出了GZF的多元G值模型,并分析了构造模糊模...; 关键词：模糊模态集合论 Godel模态逻辑模糊集合论

半格模态逻辑以及格的模态公理化新方法: 《逻辑学研究》2024年第3期51-73,共23页王潇扬; supported by the National Social Science Fund of China(No.19ZDA041)。; 本文在《Modal Logic over Lattices》的基础工作之上,进一步探索了模态逻辑与格理论之间的关系。在之前的研究中,使用带二元模态词^{,的多元混合逻辑通过标准克里普克语义讨论格结构。本文将讨论如何使用模态逻辑刻画下半格结...}; 关键词：模态词模态逻辑公理化逻辑语言偏序关系半格格结构多元混合

有穷深度的传递濒表格逻辑的有穷公理化问题: 《逻辑学研究》2024年第3期74-85,共12页杜珊珊; supported by“The Fundamental Research Funds for the Central Universities(No.410500139)”。; 本文试图解决有穷深度的传递的濒表格逻辑的公理化问题。这是作者之前所解决的传递的濒表格逻辑判据工作的后继。本文使用了模态逻辑的先进技术典范公式来解决NExtK4格(即传递逻辑格)中的每一个有穷深度濒表格逻辑的公理化问题。我们所...; 关键词：公理化模态逻辑表格可操作性深度传递

模态计数逻辑ML(#)在不同框架类下的可判定性: 《逻辑学研究》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);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(#)的可判定性归约到基本模态逻辑。我们还证明了分次模态计...; 关键词：可满足性模态逻辑可判定性归约克里普克判定算法框架类判定过程

安全协议形式化分析方法研究综述: 《化工自动化及仪表》2024年第3期367-378,共12页缪祥华黄明巍张世奇张世杰王欣源; 介绍了安全协议的基本概念和分类,然后对安全协议形式化分析方法进行了详细介绍,包括基于模态逻辑的方法、基于模型检测的方法、基于定理证明的方法和基于可证明安全性理论的方法。其中,基于模型检测的方法是目前应用最广泛的一种方法,...; 关键词：安全协议形式化分析模态逻辑模型检测定理证明可证明安全性

基于证据支持度的信念逻辑研究: 《逻辑学研究》2024年第1期55-68,共14页侯丽平郭美云; 国家社科基金青年项目“基于社会网络的动态信念修正研究”(22CZX023);国家社科基金重点项目“概率更新的动态认知逻辑研究”(21AZX013)。; 一个智能主体对某一信息的相信及相信程度分别与证据和证据支持度密切相关。本文试图通过模态逻辑方法,从语义及公理化角度探究证据支持度和信念强度之间的联系。在文中,分别用KD45和KD正规模态表达强信念算子和带程度的信念算子,用带...; 关键词：证据支持度信念强度不确定性信息模态逻辑

模态逻辑