 Then the following formula is true at \((0,H)\): \(\neg \Box h \wedge (\neg \Box P(h)= 1/2) \wedge (\Diamond P(h) = 1/2)\). This can be read as it is not known that \(h\) is true, and it is not known that the probability of \(h\) is \(1/2\), but it is possible that the probability of \(h\) is \(1/2\).