论可能世界的名字

摘要：

@@ ”可能世界”是模态逻辑语义学的核心概念,一般也可以称为”世界”、”点”、”状态”、”时间”以及”情境”等.模态语言本质上是研究通常一阶模型论意义上的关系结构的简单、且具有丰富表达力的形式语言,但是,传统的模态语言没有一种机制来指称关系结构中的个体并对其进行推理.

机标关键词：可能世界、关系结构、语言本质、模态、逻辑语义学、形式语言、模型论、表达力、状态、推理、个体、概念

分类号：B81(逻辑学(论理学))

在线出版日期：2007-07-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：114-119