2 papers
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…
physics.atom-ph2025
Cold-atom fountain for atom-surface interaction measurements mediated by a near-resonant evanescent light field
Taro Mashimo, Masashi Abe, Athanasios Laliotis +1
Cold atomic ensembles offer precise tools for probing near-field interactions, yet experimental data linking atom dynamics to surface-induced forces remains limited. This study inv…