数学模态逻辑

Name: 数学模态逻辑
Rating: 4.5 (39 reviews)
Author: zhangfengliustb

上传者：zhangfengliustb 2020-09-26 12:43:17上传 PDF文件 707.34KB 热度 39次

这是一篇非常好的模态逻辑的综述文献

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

: 码姐姐匿名网友 2020-09-26 12:43:17

比较简单，作为了解还可以。

: 码姐姐匿名网友 2020-09-26 12:43:17

比较浅显对于深入研究的人来说用处不大入门级

数学模态逻辑

这是一篇非常好的模态逻辑的综述文献

大小：707KB | 2020-09-26 12:43:17
模态逻辑数理逻辑

Modal logic

大小：0B | 2019-06-26 11:55:58
模态逻辑讲义

模态逻辑讲义，有兴趣的可以看看，很不错，可能难度有点大，不过仔细研究还是可以的

大小：0B | 2020-06-15 19:18:58
模态逻辑报告

数理逻辑的模态逻辑课程报告,很祥很强大总结详细准确

大小：107KB | 2020-08-20 01:29:15
模态逻辑讲义2006

大小：0B | 2019-01-15 16:50:53
论文研究模态逻辑中公式的模态真度.pdf

在模态逻辑中提出了公式的模态真度理论，即Δ真度与930;真度。先给出在一个给定Kripke模型之下的...

大小：0B | 2020-06-15 19:18:54
模态逻辑手册ed.by Blackburn et al

模态逻辑手册（ed.byBlackburnetal）

大小：0B | 2019-07-19 00:34:43
模态逻辑中转换结构的局限性

针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻...

大小：563KB | 2020-08-13 04:23:48
论文研究模态逻辑公式的真度理论.pdf

在模态逻辑系统中，对可能世界进行了深入的分析，首次提出了完整模型的概念，并且在这个完整模型的框架下定...

大小：0B | 2020-01-12 17:57:36
论文研究命题模态逻辑S5系统中并行推理方法.pdf

命题模态逻辑S5系统中并行推理方法，杨洋，李广力，本文对命题模态逻辑S5公理系统的性质进行了较为深入...

大小：0B | 2020-01-25 18:43:46
论文研究模态逻辑系统S5中相容理论的构造方法.pdf

在模态逻辑系统S5中借助公式的状态描述等概念，提出了一种从最简单的原子公式对应的相容理论开始，对于较...

大小：0B | 2020-01-12 17:57:40
论文研究一种基于二维模态逻辑程序的神经符号系统.pdf

一种基于二维模态逻辑程序的神经-符号系统，于洋，江敏，弥合连接主义和符号主义计算模型之间的裂隙,是人...

大小：1.74MB | 2020-07-18 12:10:26
实用数学逻辑

本书是国内介绍数理逻辑基本知识的最新读本。著者针对文科学生学习数理逻辑所遇到的困难, 尽可能结合传统...

大小：0B | 2020-11-12 18:35:26
程序员数学逻辑数学

大小：0B | 2019-01-06 08:24:08
离散数学逻辑

离散数学逻辑命题课件欧阳吉林大学的软件学院的课件

大小：0B | 2019-07-25 06:47:45
逻辑数学算法基础教材

本教材主要介绍了逻辑运算、数学算法的基础知识，以及数据结构方面的基本概念和应用技巧。通过深入浅出的讲...

大小：0B | 2018-12-07 06:14:21