关于从“知道是否”算子公理化无意识结构

On the axiomatization of an unawareness structure from knowing-whether operators

• Satoshi Fukuda 通讯