A note on situation calculus. Uncert. Disc. Appl. 2024;1(1):66-72. doi:10.48313/uda.v1i1.22