现代模态逻辑探源

发布时间：2017-12-16 00:12

  本文关键词：现代模态逻辑探源

  更多相关文章： 模态逻辑 可能世界语义学 可证性 人工智能 经典逻辑 直觉主义逻辑 哥德尔 计算机科学 形式系统 一阶语言

【摘要】：正现代模态逻辑由完全性理论、对应理论和对偶理论三个主要学科组成。它们是模态逻辑的三大支柱理论,都在20世纪70年代中期奠定了基础。在历史研究中,模态逻辑还有三大传统(句法传统、代数传统和模型论传统)、[1]三大阶段(句法阶段、经典阶段和现代阶段)[2]的说法。模态逻辑发展到现在,
【作者单位】： 中国社会科学院哲学研究所;
【基金】：中国社会科学院2006年重大课题“模态逻辑”的资助
【分类号】：B815.1
【正文快照】： 现代模态逻辑由完全性理论、对应理论和对偶理论三个主要学科组成。它们是模态逻辑的三大支柱理论,都在20世纪70年代中期奠定了基础。在历史研究中,模态逻辑还有三大传统(句法传统、代数传统和模型论传统)、[1]三大阶段(句法阶段、经典阶段和现代阶段)[2]的说法。模态逻辑发

【相似文献】

中国期刊全文数据库 前10条

1 姚从军;;双模拟与模态逻辑[J];重庆理工大学学报(社会科学);2011年08期

2 郭美云;;从动态认知逻辑的角度看偏好——刘奋荣《动态偏好逻辑》评介[J];逻辑学研究;2011年02期

3 刘新文;;皮尔士存在图的形式推演系统[J];毕节学院学报;2011年05期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

中国重要会议论文全文数据库 前5条

1 楚白;;有穷深度的模态逻辑[A];2005年逻辑研究专辑[C];2005年

2 许涤非;;二重命题逻辑系统■_(T4)[A];2001年逻辑研究专辑[C];2001年

3 孙希文;;模态逻辑模型的嵌入定理[A];1994年逻辑研究专辑[C];1994年

4 潘天群;;建立在“笛卡尔公理”上的一个怀疑逻辑系统[A];逻辑与认知学术研讨会会议论文集[C];2004年

5 高思存;;一个刻画n叉有限树的模态系统及其应用[A];2005年逻辑研究专辑[C];2005年

中国重要报纸全文数据库 前1条

1 陈慕泽;多主体系统中的互知[N];光明日报;2000年

中国博士学位论文全文数据库 前5条

1 史t，

本文编号：1293962