Logic For Reasoning About Knowledge
暂无分享，去创建一个
[1] Ewa Orlowska,et al. Kripke models with relative accessibility and their applications to inferences from incomplete information , 1988 .
[2] K. Mani Chandy,et al. How processes learn , 1985, PODC '85.