3 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…
cs.SD2023
8+8=4: Formalizing Time Units to Handle Symbolic Music Durations
Emmanouil Karystinaios, Francesco Foscarin, Florent Jacquemard +3
This paper focuses on the nominal durations of musical events (notes and rests) in a symbolic musical score, and on how to conveniently handle these in computer applications. We pr…