模态逻辑可能世界与情境

摘要：

模态逻辑可能世界具有穷尽可能性、排斥性、层次性和绝对良构性,而情境则除了排斥性,还突显时空性、主体性、部分性和非绝对良构性.利用这两组性质,分别对最大的可能世界类或可能世界模型W进行理想化限制,就可以得到这两类可能世界.而且,按照数学的排列组合观念,这两类可能世界的深层关系就清晰可见.

关键词：模态逻辑可能世界、情境语义学、绝对良构性、排列组合

分类号：B815.1(逻辑学(论理学))

资助基金：国家社会科学基金03BZX043;教育部人文社会科学研究基地基金05JJD720.40002

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

页数：共5页

页码：40-44