反事实推理中的Ceteris平价逻辑

大卫·刘易斯（David Lewis）提出的反事实语义学受到了质疑，其依据是不太可能发生的事件。这些事件可能会歪曲给定的相似顺序，从而有利于那些展现它们的可能世界。通过根据对等子句更新模型的关系结构，可以自然地排除那些不满足该子句要求的可能世界。我们为能够执行此类行为的反事实推理开发了一种对等逻辑，并对对等逻辑提供了几种替代（宽松）解释。我们应用这个框架的方式允许我们进行反事实推理，而不会因不太可能发生的事件而扭曲我们的相似顺序。这将继续研究形式上的对等推理，这种推理以前曾被应用于偏好、游戏形式逻辑和决策问题等领域。