Update Semantics for Epistemic Systems and Conditional Systems
LI Xiao-wu · Mind and Computation · 2008
Update semantics is a semantics that models the information change of a single agent. In this paper, firstly, we will present some variants of the update semantics presented by Veltman[1], and thus prove the model soundness and the model completeness of some epistemic systems and conditional systems with respect to the variants. Secondly, we will present some variants of the update semantics with dichotomic definition, and thus prove the frame soundness of some epistemic systems and conditional systems with respect to the variants.