">truth incidence is satisfaction<br>
A |=<sub style="font-style: italic; font-weight: bold;">L</sub> &#966; for A
&#8712; <span style="font-family: arial; font-style: italic;">mod</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>) and &#966; &#8712; <span
 style="font-family: arial; font-style: italic;">expr</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>)<br>
      </td>
    </tr>
    <tr>
      <td style="vertical-align: top;"><span
 style="font-family: arial; fo