Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
modal_logic [2015/08/09 17:37]
ben
modal_logic [2018/06/16 00:51] (current)
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:
Link to graph
Log In
Improvements of the human condition