Nishimura, Y. Agent-Knowledge Logic for Alternative Epistemic Logic. B Sect Log 2026, 54 (4), 607–643. https://doi.org/10.18778/0138-0680.2025.19.