Richard B. Scherl: A Situation-Calculus Model of Knowledge and Belief Based on Thinking About Justifications. NMR 2022: 104-114