Y. Nishimura, “Agent-Knowledge Logic for Alternative Epistemic Logic”, B Sect Log, vol. 54, no. 4, pp. 607–643, Mar. 2026, doi: 10.18778/0138-0680.2025.19.