Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
msol_over_strings [2007/05/10 18:14] vkuncak |
msol_over_strings [2007/05/10 18:15] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== MSOL over Strings ====== | ====== MSOL over Strings ====== | ||
| + | |||
| Line 25: | Line 26: | ||
| [\![F_1 \lor F_2]\!]e &=& [\![F_1]\!]e\ \lor\ [\![F_2]\!]e \\ \ | [\![F_1 \lor F_2]\!]e &=& [\![F_1]\!]e\ \lor\ [\![F_2]\!]e \\ \ | ||
| [\![\lnot F]\!]e &=& \lnot ([\![F]\!]e) \\ \ | [\![\lnot F]\!]e &=& \lnot ([\![F]\!]e) \\ \ | ||
| - | [\![\exists v. F]\!]e &=& \exists S. S \mbox{is finite}\ \land\ S \subseteq N_0. [\![F]\!](e[v \mapsto S]) | + | [\![\exists v. F]\!]e &=& \exists S. S\ \mbox{is finite}\ \land\ S \subseteq N_0. [\![F]\!](e[v \mapsto S]) |
| \end{eqnarray*} | \end{eqnarray*} | ||