知道的更新语义

We propose an update semantics of know in the framework of Veltman, it is different from the update semantics of might, normally, presumably given by Veltman in that we generalize pattern to expect pattern defined on information states, so the update semantics of know is presented with a pattern but no changed updating. Also, the paper can be considered as a further verification of the update framework of Veltman.