A Representation of Explicit Knowledge and Epistemic Indistinguishability in a Logic of Awareness

Yudai Kubono, Satoshi Tojo

The logic of awareness, first proposed by Fagin and Halpern, addressed the problem of logical omniscience by introducing the notion of awareness and distinguishing explicit knowled…