2 citations · 2 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
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…
cs.LO2025
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…