聚类工具

0
网站首页网站地图
访问手机版
关于我们
注册
帮助 本站公告
全部文献 媒体文章 报刊论文 会议论文 学位论文 出版专著 研究报告 课题成果 特色专题
高级检索
您现在所在的位置：网站首页 > 知识中心 > 检索结果
全选 题录导出
排序：
期刊文章 参态逻辑
出处：中国科学：A辑 1995年第4期414-425,共12页
摘要：提出参态逻辑，给出它的语言、语义和公理系统，并给出参态逻辑的完全性定理，论证了参态逻辑具有足够丰富... 显示全部
关键词： 参态逻辑 广义 模态逻辑 一阶逻辑
期刊文章 从动态命题逻辑PDL到动态道义逻辑DDL
出处：哲学动态 2006年第2期55-58,共4页
摘要：一 动态命题逻辑的来源和基本构想 动态逻辑DL（Dynamic Logic）是关于行动和程序推理的形式系统。DL可... 显示全部
关键词： 命题逻辑 道义逻辑 一阶谓词逻辑 经典逻辑 动态逻辑 语形结构 基本构想 形式系统 模态逻辑 真值
在线阅读 下载全文
期刊文章 纤维逻辑
出处：计算机科学 2006年第1期 1-3,共3页
摘要：形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列。但是在主体环境下，已有逻辑的复杂性仍然不能... 显示全部
关键词： 形式逻辑 逻辑 多模态逻辑 纤维逻辑 模态逻辑 纤维 可能世界语义 命题逻辑 人工智能 复杂性
在线阅读 下载全文
期刊文章 基于三值语义的非单调逻辑
出处：汕头大学学报：自然科学版 1994年第1期 6-13,共8页
摘要：本文给出一种三值非单调逻辑形式，它一方面可推广标准非单调逻辑到三值情形，另一方面它能捕捉各种非单调... 显示全部
关键词： 三值逻辑 模态逻辑 非单调逻辑
期刊文章 谓词抽象及其作用
出处：哲学动态 2008年第5期90-95,共6页
摘要：当今，命题模态逻辑作为一种标准的形式工具，已被广泛应用于计算机科学和人工智能的各个领域。然而，与命... 显示全部
关键词： 模态逻辑 抽象 谓词 计算机科学 摹状词理论 人工智能 逻辑语言 经典逻辑
在线阅读 下载全文
期刊文章 心理咨询中当事人的语言逻辑
出处：佛山科学技术学院学报：社会科学版 2004年第5期 91-93,共3页
摘要：心理咨询中当事人的语言逻辑仍然经历概念、判断和推理的过程,和其他非当事人一样具有逻辑性的特征.但是当... 显示全部
关键词： 心理意义 当事语境 模态逻辑 非陈述句逻辑
期刊文章 论模态谓词逻辑的“非指称”问题
出处：哲学研究 2011年第1期101-106,共6页
摘要：一般地说，一阶模态逻辑就是指经典一阶逻辑和基本模态命题逻辑组合而成的模态谓词逻辑。自由模态逻辑则是... 显示全部
关键词： 模态逻辑 谓词逻辑 自由 指称 命题逻辑 一阶逻辑 逻辑学家
期刊文章 一个模态非单调逻辑
出处：中国科学：E辑 1996年第3期276-288,共13页
摘要：基于一种关于典型与例外的经验模态语义提出一个模态非单调逻辑，给出了它的语义和语形，证明其它全性定理... 显示全部
关键词： 非单调逻辑 模态逻辑 模态非单调逻辑 经验逻辑
在线阅读 下载全文
期刊文章 互模拟理论的逻辑研究述评
出处：哲学动态 2010年第4期104-107,共4页
摘要：在20世纪70年代前后，互模拟理论在许多领域被独立建立。自从范本特姆（Van Benthem）定理问世之后，互模拟... 显示全部
关键词： 模拟理论 逻辑研究 世纪 年代 述评 模态逻辑 哲学逻辑 模型论 集合论
在线阅读 下载全文
期刊文章 相干逻辑研究的当代成果和发展趋势
出处：哲学动态 2007年第4期55-60,共6页
摘要：相干逻辑在20世纪20年代被提出来，目的是避免经典数理逻辑和模态逻辑中出现的实质蕴涵怪论和严格蕴涵怪论... 显示全部
关键词： 逻辑研究 发展趋势 世纪 年代 成果 实质蕴涵 模态逻辑 数理逻辑
在线阅读 下载全文
找到20条结果

联系方式

电 话：020-38800179

邮 箱：gdtheory@126.com

地 址：广州市天河区天河北路618号广东社会科学中心

邮 编：510635

友情链接

扫一扫 手机浏览

广东省社会科学院·广东省哲学社会科学数据库·广东智库 版权所有 Copyright©2012 gdtheory.cn All Rights Reserved.

违法和不良信息举报中心举报邮箱：jubao@cqvip.com 粤ICP备10080020号-3

`