Assertion: logic's semantic | /r/HasProperty | different
Facets:
value: slightly
type: DEGREE
Source sentences:
text: The same basic language as was used for the basic finite probability logic need not change, but the semantics is slightly different: for every state \(w\in W\), the component \(\mathcal{P}_w\) of a modal probabilistic model is replaced by an entire probability space \((\Omega_w,\mathcal{A}_w,\mu_w)\), such that \(\Omega_w\subseteq W\) and \(\mathcal{A}_w\) is a \(\sigma\)-algebra over \(\Omega_w\).