On Translating Epistemic Operators in a Logic of Awareness

Yudai Kubono

Awareness-Based Indistinguishability Logic (henceforth, AIL) is an extension of Epistemic Logic by introducing the notion of awareness, distinguishing explicit knowledge from impli…