Content deleted Content added
→Syntax: more clarify requests |
→Semantics: clarify: inclusive or |
||
Line 29:
* <math>\gamma,t,\nu\models l</math> holds if <math>l\in\gamma(t)</math>,
* <math>\gamma,t,\nu\models\neg\phi</math> holds if <math>\gamma,t,\nu\not\models\phi</math>
* <math>\gamma,t,\nu\models\phi\lor\psi</math> holds if either <math>\gamma,t,\nu\models\phi</math> or <math>\gamma,t,\nu\models\psi</math>, or both
* <math>\gamma,t,\nu\models\phi\mathbin\mathcal U\psi</math> holds if there exists <math>t<t''</math> such that <math>\gamma,t'',\nu\models\psi</math> and such that for each <math>t< t'< t''</math>, <math>\gamma,t',\nu\models\phi</math>,
* <math>\gamma,t,\nu\models\phi\mathbin\mathcal S\psi</math> holds if there exists <math>t''< t</math> such that <math>\gamma,t'',\nu\models\psi</math> and such that for each <math>t''<t'<t</math>, <math>\gamma,t',\nu\models\phi</math>,
| |||