作者: Joseph Y. Halpern , Leandro Chaves Rêgo
DOI: 10.1016/J.GEB.2007.01.012
关键词:
摘要: Abstract We analyze a model of interactive unawareness introduced by Heifetz, Meier and Schipper. consider two axiomatizations for their model, which capture different notions validity. These allow us to compare the Heifetz et al. approach both standard (S5) epistemic logic other approaches unawareness: that Fagin Halpern Modica Rustichini. show differences between others are mainly due notion validity used fact is based on 3-valued propositional logic.