论文筛选

-

领域

  • 169篇哲学宗教
  • 28篇社会学
  • 14篇自动化与计算...
  • 9篇文化科学
  • 8篇语言文字
  • 6篇经济管理
  • 5篇文学
  • 5篇自然科学总论
  • 5篇理学
  • 3篇政治法律
  • 1篇历史地理

主题

  • 199篇模态逻辑
  • 23篇克里普克
  • 18篇逻辑学家
  • 18篇命题逻辑
  • 14篇现代逻辑
  • 14篇可能世界语义...
  • 13篇逻辑系统
  • 12篇道义逻辑
  • 12篇时态逻辑
  • 11篇哲学逻辑
  • 10篇经典逻辑
  • 9篇直觉主义逻辑
  • 9篇认知逻辑
  • 9篇谓词逻辑
  • 9篇逻辑哲学
  • 9篇公理系统
  • 9篇亚里士多德
  • 8篇多值逻辑
  • 8篇一阶逻辑
  • 7篇数理逻辑

机构

  • 20篇中国社会科学...
  • 12篇南京大学
  • 10篇南开大学
  • 9篇中国人民大学
  • 7篇华南师范大学
  • 6篇北京大学
  • 5篇清华大学
  • 5篇苏州大学
  • 5篇中山大学
  • 4篇浙江大学
  • 4篇西南大学
  • 3篇华东师范大学
  • 3篇中央财经大学
  • 2篇东南大学
  • 2篇江苏警官学院
  • 2篇兰州大学
  • 2篇湖北大学
  • 2篇燕山大学
  • 2篇中国科学技术...
  • 2篇阿姆斯特丹大...

作者

  • 5篇张力锋
  • 5篇刘新文
  • 4篇余俊伟
  • 4篇马明辉
  • 3篇朱建平
  • 3篇裘江杰
  • 3篇史璟
  • 2篇张晓君
  • 2篇王阳
  • 2篇冯棉
  • 2篇高恒珊
  • 2篇胡泽洪
  • 2篇邓雄雁
  • 2篇马明辉
  • 2篇赵贤
  • 2篇张家龙
  • 2篇张清宇
  • 2篇刘国锋
  • 2篇王峥
  • 1篇罗翊重

期刊

  • 27篇哲学动态
  • 22篇逻辑学研究
  • 21篇哲学研究
  • 16篇世界哲学
  • 13篇中国哲学年鉴
  • 8篇湖南科技大学...
  • 8篇重庆理工大学...
  • 7篇国外社会科学
  • 5篇现代哲学
  • 4篇社会科学
  • 4篇学术研究
  • 3篇武汉大学学报...
  • 3篇兰州大学学报...
  • 3篇四川大学学报...
  • 3篇哲学分析
  • 2篇江汉论坛
  • 2篇兰州学刊
  • 2篇社会科学战线
  • 2篇河北学刊
  • 2篇科学技术与辩...

年份

  • 5篇2019
  • 11篇2018
  • 8篇2017
  • 13篇2016
  • 6篇2015
  • 7篇2014
  • 11篇2013
  • 6篇2012
  • 10篇2011
  • 9篇2010
  • 12篇2009
  • 6篇2008
  • 7篇2007
  • 9篇2006
  • 9篇2005
  • 5篇2004
  • 3篇2003
  • 6篇2002
  • 3篇2001
  • 4篇2000
检索条件:
"关键词=模态逻辑"
241 条 记 录,以下是 1-10
拓扑量子计算与“耗散脑”神经计算的数学统一和实在论--人机共生原理:意识和物质的数学统一获取全文在线阅读
1
出  处:《系统科学学报》 2019年第4期16-19,共4页
作  者:程守华
摘  要:本文从量子场论、脑神经科学、逻辑学和计算机科学的数学统一模型的开创性理论--量子拓扑计算的建立表现出范畴论(CT)的强大性。其哲学意义是,动态耗散系统的数据分析模型应用范畴论方法建立,属于代数拓扑的最前沿和最新成就,表明...
关 键 词:量子场论 拓扑量子计算 动态耗散系统 余代数的模态逻辑 “耗散脑”:范畴论 实在 
下载次数:0   在线阅读:1
社会福利函数的模态逻辑获取全文在线阅读
2
出  处:《逻辑学研究》 中国人文科学核心期刊要览 2019年第6期1-21,共21页
作  者:刘虎
基金项目:This research is supported by NSSFC(14ZDB015).
摘  要:社会选择理论的重点是将个人偏好汇总为群体偏好的框架。我们在本文中提出了一种用于偏好聚合的模态逻辑。该逻辑是对社会福利函数的直接且易于理解的形式化。一个标准的n-ary模态框用于表征线性方案集上的n-ary函数。我们证明了...
关 键 词:社会福利函数 社会选择理论 模态逻辑 不可能定理 个人偏好 演绎系统 方案集 群体偏好 
下载次数:0   在线阅读:2
模型论视角下对正规多元模态逻辑的阐述获取全文在线阅读
3
出  处:《逻辑学研究》 2019年第3期79-101,共23页
作  者:刘佶鑫
摘  要:本文对正规多元模态逻辑做了模型论视角的整体阐述。正规多元模态逻辑(PML)是对一元模态逻辑系统K,在n 元算子上的推广。而多元模态逻辑的研究相对于一元逻辑较为匮乏。文献中的一系列有关PML 的结果也被看作是有关K的结论的...
关 键 词:模态逻辑 模型论 代数证明 多元语言 PML 逻辑系统 构造方法 元逻辑 
下载次数:1   在线阅读:5
多智能体模态逻辑系统Kn中的知识遗忘获取全文在线阅读
4
出  处:《逻辑学研究》 2019年第2期43-62,共20页
作  者:文习明 方良达 余泉 常亮 王驹
基金项目:国家自然科学基金(61603152、61463044、61363030、61862051);广西可信软件重点实验室开放课题(KX201604、KX201606、KX201419);广西自然科学基金(No.2015GXNSFAA139285)。
摘  要:如何让智能体像人一样具备遗忘的能力,目前仍然是人工智能所面临的最大挑战之一。遗忘在基于符号逻辑的知识表示与推理领域和基于统计的机器学习领域都有研究。特别在知识表示与推理领域,遗忘扮演着非常重要的角色。在命题逻辑、一阶谓词...
关 键 词:多智能体模态逻辑 知识推理 知识编译 知识遗忘 
下载次数:4   在线阅读:5
图博弈的设计与模态逻辑的发展获取全文在线阅读
5
出  处:《清华大学学报:哲学社会科学版》 中国人文科学核心期刊要览 2019年第2期131-139,201共10页
作  者:约翰·范本特姆 刘奋荣
基金项目:国家社会科学基金重大项目“基于社交网络的信息流逻辑研究”(17ZDA026);清华大学自主科研计划项目“博弈视域中的社交网络逻辑”(2017THZWYX08).
摘  要:图博弈是一种主体间互动的场景,可以使用模态逻辑的语言描述。模态词用来描述博弈玩家的行为,博弈的均衡和玩家的必胜策略则通常用模态逻辑的公式刻画,这些公式具有特定的模式。取决于博弈目标的设定、对玩家互动机制的设计,图博弈有着...
关 键 词:图博弈 必胜策略 蓄意破坏博弈 博弈逻辑 模态逻辑 
下载次数:2   在线阅读:17
正规模态集合论悖论及相关问题获取全文在线阅读
6
出  处:《中国哲学年鉴》 2018年第1期341-341,共1页
作  者:张建军
摘  要:本文通过对模态集合论与模态哲学前沿问题的研究,提出了基于带等词一阶逻辑、公理集合论和正规模态逻辑“自然结合”的“正规模态集合论悖论”。文中证明,正规模态命题逻辑如同一根“魔杖”,一旦将之引入经典集合论,即把本来可以容纳偶...
关 键 词:逻辑真理 模态命题逻辑 公理集合论 一阶逻辑 集合论悖论 模态逻辑 哲学前沿 经典集合论 
下载次数:0   在线阅读:11
皮尔士存在图的线性记法获取全文在线阅读
7
出  处:《中国哲学年鉴》 2018年第1期342-342,共1页
作  者:刘新文
摘  要:皮尔士存在图是现代逻辑诞生时期对量化理论和模态逻辑等领域的贡献。存在图二维记法的一个变种——线性记法——是自皮尔士以来的一个研究方向。相对于二维记法的存在图系统,线性记法的存在图所受到的关注较少,其中以E.哈默(Eric...
关 键 词:现代逻辑 完全性定理 皮尔士 记法 形式系统 模态逻辑 Alpha 量化理论 
下载次数:1   在线阅读:1
从带色标的存在图看弗雷格难题的解题思路获取全文在线阅读
8
出  处:《河北大学学报:哲学社会科学版》 2018年第6期33-39,共7页
作  者:杨武金 程橙
基金项目:国家社会科学基金重大项目“广义逻辑悖论的历史发展、理论前沿与跨学科应用研究”(18ZDA031).
摘  要:弗雷格难题的解答方案基本上都遵循了这样一条思路:或以某种方式,或引入某些术语来解释A=A和A=B在认知价值上的区别。从带色标的存在图看弗雷格难题的解题思路,首先,要站在反涵义论的立场上将存在图的同一线作为类似于克里普克的...
关 键 词:弗雷格难题 存在图逻辑 模态逻辑 
下载次数:2   在线阅读:1
关于社交网络中主体行为的推理和预测获取全文在线阅读
9
出  处:《暨南学报:哲学社会科学版》 2018年第12期1-8,共8页
作  者:刘奋荣 谢立民
基金项目:国家社科基金重大项目"基于社交网络的信息流逻辑研究"(批准号:17ZDA026)。
摘  要:社交网络中主体之间的影响可以分为单向和双向两种。新观念、文化元素的扩散是一种单向的影响。受到单向的影响,主体的认知和行为会发生变化,借助逻辑的形式语言和推理能够对行为的发展趋势进行预测。与此不同,双向的影响则引发主体行为...
关 键 词:社交网络 推理 预测 模态逻辑 动态逻辑 
下载次数:2   在线阅读:4
逻辑与哲学:现代逻辑导论(第9版)获取全文在线阅读
10
出  处:《中国哲学年鉴》 2018年第1期379-379,共1页
作  者: 张建军(译) 张燕京(译)
摘  要:该著是迄今为止国际上最畅销的现代逻辑基础教程。该教程提供了关于逻辑学的全面介绍。教程的前两部分通过伴以清晰阐释的循序渐进式训练,带领学生从语句逻辑通达一阶谓词逻辑。第三部分则覆盖逻辑学中其他比较稳固的范围,包括亚里士多德...
关 键 词:现代逻辑 道义逻辑 逻辑哲学 一阶谓词逻辑 归纳逻辑 认知逻辑 模态逻辑 逻辑学 
下载次数:3   在线阅读:1
当前 1/25 页首页 上一页12345下一页跳转到
聚类工具0
国家哲学社会科学文献中心APP
分类表关闭X
隐藏
比较