马克·瑞恩;皮埃尔·伊夫·肖本斯 作为相反模式的反事实和更新。 （英语） Zbl 0921.03035号 J.逻辑语言信息。 6，第2期，123-146（1997）. 以通常的方式将句子赋给可能世界集合的元素。对于每个句子\（A\），让\（R_A\）是可访问性关系，这样\（R-A（x，y）\）成立当且仅当\（x\）是最接近\（y\）的\（A\）-世界之一。然后，Katsuno-Mendelzon通过\（A\）对\（B\）进行更新，包括最接近某些\（B\）-世界的\（A\）-世界，即世界\（x\）的\（R_A（x，y）\），对于某些\（B \）-世界\（y\）。此外，史泰纳克的反事实“如果（A）是这种情况，那么（B）将是这种情况”可以理解为在世界中保持，这样在所有最接近的（A）-世界中，（B）保持，即在世界中，如果（R_A（y，x），那么（y）就是一个（B）-世界。因此，反事实可以理解为一种必要情态，其可及性关系是与更新相对应的可能性情态的可及性的逆关系。本文很好地开发了这种优雅的连接，特别是展示了更新的属性和Stalnaker反事实的属性是如何相互对应的。审核人：S.O.Hansson（乌普萨拉） 引用于14文件 MSC公司： 03B60号 其他非经典逻辑 03B45号 模态逻辑（包括规范逻辑） 68T27型 人工智能中的逻辑 关键词：条件句;Katsuno-Mendelzon更新;史塔纳克反事实;必然性;模式;可及性关系;可能性 PDF格式BibTeX公司 XML格式引用 \textit{M.Ryan}和\textit{P.-Y.Schobbens}，J.Logic Lang.Inf.6，No.2，123--146（1997；Zbl 0921.03035） 全文： 内政部