混合语言与时态逻辑

发布时间：2018-08-24 10:30

【摘要】：混合语言是扩张的命题的模态语言,它能指称(甚至量化)状态。近年来,混合语言的流行主要有两点原因[1]45:首先,语言表达力的增强,它能定义许多一般模态语言无法定义的框架性质,典型的例子,如禁自返性(i→‘◇i)、反对称性((i∧◇(j∧◇i))→j)等。混合语言流行的另一个主要原因是,使用纯公式公理化得到的逻辑系统有一般完全性的结果。
[Abstract]:Hybrid language is the modal language of extended propositions, which can refer to (or even quantify) states. In recent years, mixed languages have become popular for two main reasons [1] 45: first, the enhancement of language expressiveness, which can define many frame properties that can not be defined by a general modal language, typical examples, For example, the prohibitive i), antisymmetric (i A (j A i) j), and so on. Another major reason for the popularity of mixed languages is that the logical systems obtained by using pure formula axioms have general and complete results.
【作者单位】： 中国人民大学哲学院;
【分类号】：B81

【相似文献】

相关期刊论文 前10条

1 查非;刘虎;;状态相似性与流量限制模型[J];逻辑学研究;2011年02期

2 刘新文;;现代模态逻辑探源[J];哲学动态;2011年05期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相关会议论文 前6条

1 任晓明;崔清田;;逻辑多元论与逻辑在人文科学中的应用研究——兼谈《次协调逻辑与人工智能》[A];2003年逻辑研究专辑[C];2003年

2 张维真;;论“蒯因的教条”——关于逻辑常项与逻辑真[A];1995年逻辑研究专辑[C];1995年

3 ;书讯[A];1998年逻辑研究专辑[C];1998年

4 余俊伟;;弗协调真值道义逻辑分析[A];2003年逻辑研究专辑[C];2003年

5 何庸;;《广义模态逻辑》值得细读[A];1995年逻辑研究专辑[C];1995年

6 季秋;王万森;王新;;人工智能中逻辑学的研究[A];逻辑与认知学术研讨会会议论文集[C];2004年

相关博士学位论文 前1条

1 吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年

，

本文编号：2200535