Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
modal_logic [2015/08/09 16:40] nikolaj |
modal_logic [2015/08/09 16:41] nikolaj |
||
|---|---|---|---|
| Line 19: | Line 19: | ||
| >The modal operators are similar to $\forall$ and $\exists$, except instead of maping predicates $P(w)$ to propositions (as in $\forall w.\,P(w)$), they map predicates to predicates (as in $(\Box P)(w)$). | >The modal operators are similar to $\forall$ and $\exists$, except instead of maping predicates $P(w)$ to propositions (as in $\forall w.\,P(w)$), they map predicates to predicates (as in $(\Box P)(w)$). | ||
| - | And **Example** I just cooked up: | + | An **Example** I cooked up: |
| >$W$ := legal board configurations in chess | >$W$ := legal board configurations in chess | ||
