3 papers
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…
cs.MA2024
Logic of Awareness for Nested Knowledge
Yudai Kubono
Reasoning abilities of human beings are limited. Logics that treat logical inference for human knowledge should reflect these limited abilities. Logic of awareness is one of those…