让·波特 现实世界:模态逻辑的完整性和不完整性。 (英语) Zbl 0694.03013号 逻辑分析。,努夫。Sér。 30, 209-220 (1987). 在这里,我将研究一个特殊的非正规模态逻辑(T^+)(之前在其他论文中定义),并证明:(i) 它具有非常简单的语义,在特定类别的模型结构中是完整的,具有独特的现实世界。(ii)它在具有非正常世界但没有真实世界的任何类别的框架中都是不完整的——允许这些“非正常世界”的定义在相当大的范围内变化。 MSC公司: 03B45号 模态逻辑(包括规范逻辑) 关键词:完整性;非正规模态逻辑\(T^+\);语义学;真实世界;非正常世界 PDF格式BibTeX公司 XML格式引用 \textit{J.Porte},日志。分析。,努夫。Sér。30209--220(1987;Zbl 0694.03013)