一个适于更新语义的涉景条件句逻辑

A logic of background-involved conditionals for update semantics

传统条件句逻辑研究的条件句没有明显提述条件句的背景.本文提出了一种明显提述背景的条件句逻辑BCS,并证明了该系统相对于Veltman提出的更新语义的模型可靠性和模型完全性.

A drawback of traditional conditional logics is that they lack the obvious reference to the background of conditionals. A logic BCS of background-involved conditionals referencing to background obviously is presented introduce the update semantics by Veltman is also introduced and thus prove the soundness and completeness of BCS with respect to semantics.