[Note to me, I want to write something here about temporal logic, for example if we take the symbol [latex]\sqcap[/latex] to mean ‘and then’ then know how to define the probabilities for things like [latex]A\sqcap B[/latex], but how do we make sense of things like [latex](A\sqcap B)\vee(\neg A \sqcap \neg B)[/latex] or [latex]\neg(A\sqcap B)[/latex]?]