Assume that the agent’s information sets form a filtration over time and that Temporal Conditionalization holds between now and later but that later is not a stopping time for the agent. Let Ht be the event “later = t” for the specific time t. That is, assume that 0 < Plater (Ht ) < 1, when later occurs at t.
Schervish, M. J. , Seidenfeld, T. , Kadane, J. B. (2016)., Stopping to reflect, in H. Arló-Costa, V. F. Hendricks & J. Van Benthem (eds.), Readings in formal epistemology, Dordrecht, Springer, pp. 177-185.
This document is unfortunately not available for download at the moment.