模态对应理论述评

发布时间：2018-04-12 15:39

  本文选题：模态理论 + 模态逻辑　； 参考：《哲学动态》2012年01期

【摘要】：正模态逻辑的关系语义(也称克里普克语义)起源于20世纪60年代左右关于模态词的解释,其主要特征是,与之前的模态代数理论[1]相比,作为一种塔尔斯基式的语义,使模态句法对象与语义结构
[Abstract]:The relational semantics of positive modal logic (also known as Kripke semantics) originated from the explanation of modal words in the 1960s. The main characteristic of the semantics is that compared with the previous modal algebra theory, it is a kind of Tarski semantics.Modal syntactic object and semantic structure
【作者单位】： 西南大学逻辑与智能研究所;中国社会科学院哲学研究研究所;
【基金】：重庆市重点文科基地项目“模态模型论研究”(2010-2012)资助
【分类号】：B812

【共引文献】

相关期刊论文 前1条

1 潘孝铭;模态逻辑两个定理的基于向前向后方法的证明[J];北京工商大学学报(自然科学版);2002年04期

【相似文献】

相关期刊论文 前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];;年期

相关会议论文 前4条

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

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

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

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

相关重要报纸文章 前1条

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

相关博士学位论文 前4条

1 史t，

本文编号：1740356