Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
modal_logic [2015/08/09 17:37] ben |
modal_logic [2018/06/16 00:51] nikolaj |
||
|---|---|---|---|
| Line 17: | Line 17: | ||
| >$(\Diamond_R P)(w)$ ... $\exists v.\, wRv\land P(v)$ | >$(\Diamond_R P)(w)$ ... $\exists v.\, wRv\land P(v)$ | ||
| > | > | ||
| - | >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 mapping predicates $P(w)$ to propositions (as in $\forall w.\,P(w)$), they map predicates to predicates (as in $(\Box P)(w)$). |
| An **example** I cooked up: | An **example** I cooked up: | ||
