没有合适的资源？快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
模态逻辑讲义
模态逻辑讲义
模态逻辑
需积分: 14
7 下载量
178 浏览量
2012-10-23
14:23:32
上传
评论
收藏
1.19MB
PDF
举报
温馨提示
立即下载
模态逻辑讲义，有兴趣的可以看看，很不错，可能难度有点大，不过仔细研究还是可以的
资源推荐
资源评论
模态逻辑讲义2006
浏览：41
模态逻辑讲义DOC 李小五 中山大学逻辑与认知研究所 2006
数学模态逻辑
浏览：20
4星 · 用户满意度95%
这是一篇非常好的模态逻辑的综述文献
模态逻辑 数理逻辑
浏览：108
4星 · 用户满意度95%
一本详细的关于模态逻辑的书 一本经典的研究计算机科学中的数理逻辑的必读物
基于扩展命题模态逻辑的决策信息系统表示 (2011年)
浏览：58
针对基于粗糙集理论的决策信息系统的特点,引入属性常量作为基本符号,对命题模态逻辑进行扩展,给出了扩展命题模态逻辑形式系统及其相关语义描述,说明每个基于粗糙集理论的决策信息系统均可通过扩展命题模态逻辑语义来表示.本文证明了基于扩展命题模态逻辑语义的决策信息系统表示定理,并给出了语义模型中对象的逻辑描述,特别是对基于等价关系的上近似和下近似集的逻辑刻画,为基于粗糙集理论的决策信息系统分析和处理提供了新
模态逻辑手册（ed.by Blackburn et al）
浏览：81
4星 · 用户满意度95%
模态逻辑手册（ed.by Blackburn et al）
模态逻辑报告
浏览：157
数理逻辑的模态逻辑课程报告，很祥很强大 总结详细准确
modallogic:模态逻辑游乐场
浏览：28
模态逻辑游乐场 模态命题逻辑的图形语义计算器，使用 、 和构建。 在查看它的实际！ 可重用代码 代码的核心部分是 MPL.js，一个用于解析和评估模态命题逻辑的格式良好的公式的库。 请参阅的 API 参考。 我还提取了有向图编辑代码，以便可以轻松地重新利用它。 你可以在找到它。
走向模型论的模态逻辑汇编.pdf
浏览：21
走向模型论的模态逻辑汇编.pdf
modal:Haskell 中的模态逻辑通过静态指针
浏览：53
模态 静态指针从 Haskell 中框模态的实现中获得了我们想要的 80%。 该项目包含一种伪造其他 20% 的数据类型。 也许这很有用。 我向你保证，如果这纯粹是偶然的。
kripke:Twelf 中的模态逻辑和 Kripke 语义
浏览：192
克里普克 Twelf 中 Kripke 语义的形式化。 这段代码分为 kripke.elf 对盒子和菱形所需的预序的 Kripke 语义的表述。 modal-logic.elf 模态逻辑的正常表述。 等效.elf 翻译过程以及将 modal-logic.elf 翻译成 Kripke 语义的健全性和完整性证明。
论文研究-命题模态逻辑S5系统中并行推理方法 .pdf
浏览：111
命题模态逻辑S5系统中并行推理方法，杨洋，李广力，本文对命题模态逻辑S5公理系统的性质进行了较为深入地研究，并对S5系统中一类具有代表性的标准模态子句集的特性进行了分析，提出��
论文研究-一种基于二维模态逻辑程序的神经-符号系统 .pdf
浏览：104
一种基于二维模态逻辑程序的神经-符号系统，于洋，江敏，弥合连接主义和符号主义计算模型之间的裂隙,是人工智能领域重要的问题之一。 在这篇论文中,我们提出了一种基于二维模态逻辑程序的
论文研究-模态逻辑公式的真度理论.pdf
浏览：7
在模态逻辑系统中，对可能世界进行了深入的分析，首次提出了完整模型的概念，并且在这个完整模型的框架下定义了模态公式的真度概念，建立了公式的真度理论。并且证明了：若模态公式[φ]不含任何模态词，即经典逻辑...
论文研究-模态逻辑中公式的模态真度.pdf
浏览：186
在模态逻辑中提出了公式的模态真度理论，即Δ真度与930;真度。先给出在一个给定Kripke模型之下的模态真度理论，此后利用均匀概率思想，提出了更为合理的(n)模态真度理论，定义了两公式之间的(n)模态相似度，并由此...
模态逻辑中转换结构的局限性
浏览：145
针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出两个系统KY和KZ,虽然这两个系统无法用关系语义进行区分,但利用一般框架可知KY和KZ是有区别的.KY和KZ证明了在加标转换结构和模态系统之间有一些不相符合的地方,具有一定的局限性.
模态逻辑中转换结构的局限性 (2014年)
浏览：120
针对Sally Porkorn运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出两个系统KY和KZ,虽然这两个系统无法用关系语义进行区分,但利用一般框架可知KY和KZ是有区别的.KY和KZ证明了在加标转换结构和模态系统之间有一些不相符合的地方,具有一定的局限性.
多值模态逻辑的计量化方法
浏览：40
多值模态逻辑的计量化方法
模态逻辑系统S4中的度量结构
浏览：10
: 在模态逻辑 S4 中通过有限模型建立了模态公式的( n) 真度理论，研究了模态逻辑 S4 中命题的( n) 真度的性.质。提出了模态公式间的( n) 相似度理论，并由此在全体公式集中，建立了( n) 伪距离，得出了( n) 模态逻辑...
形式化验证，模型检测和数理逻辑经典书籍系列（3）
浏览：119
5星 · 资源好评率100%
我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍：Operating System Security (Synthesis Lectures on Information Security, Privacy, and Trust)；Formal_Correctness_of_Security_Protocols；...模态逻辑讲义
论文研究-模态逻辑系统S5中相容理论的构造方法.pdf
浏览：162
在模态逻辑系统S5中借助公式的状态描述等概念，提出了一种从最简单的原子公式对应的相容理论开始，对于较复杂的公式形式，寻找恰当的状态描述，再将对应的存在状态加入最初的相容理论后仍相容的方法。
模态分析理论及应用
浏览：76
试验模态技术讲义，详细介绍了模态识别的时域法，频域法等
管理类联考逻辑-基础课程讲义.pdf
浏览：25
MEM研究生考试逻辑基础课件，管理类联考通用课件 判断和推理概述；负判断及推理、联言判断及推理、选言判断及推理、假言判断及推理、性质判断及推理、模态判断及推理、概念及种类、类比推理
多智能体模态逻辑系统KD45_n中的知识遗忘
浏览：9
多智能体模态逻辑系统KD45_n中的知识遗忘
多智能体模态逻辑系统K_n中的知识遗忘
浏览：198
多智能体模态逻辑系统K_n中的知识遗忘
忘记多智能体模态逻辑
浏览：188
忘记多智能体模态逻辑
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
lingsir95
粉丝: 0
资源:
1
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
# Wireshark 抓包及分析介绍说明、使用技巧和优缺点
解一元一次方程.py
关于旁路电容和耦合电容-(详细说明)
Verilog-HDL学习笔记
CSDNApp_222.apk
echart-可视化大屏.zip
银行软件作业代码示例20240426
jsp智慧物业管理系统
美国大学生数学建模竞赛
蓝桥杯的概要介绍与分析
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
