“A note on situation calculus” (2024) Uncertainty Discourse and Applications, 1(1), pp. 66–72. doi:10.48313/uda.v1i1.22.