2024. A note on situation calculus. Uncertainty Discourse and Applications. 1, 1 (Jun. 2024), 66–72.