noforg
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
noforg [2016/06/07 20:18] matei.popovici |
noforg [2016/06/30 16:45] (current) matei.popovici |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | ===== Strategy definition ===== | ||
| + | |||
| + | $\hat{s}_A(\hat{h}) = s_A(h) $ (or equivalently $=s_A(last(\hat{h}))$). | ||
| + | |||
| ===== Some examples ===== | ===== Some examples ===== | ||
| Line 8: | Line 12: | ||
| the original formula holds in $M$ iff the transformed one holds in $M^\xi$. | the original formula holds in $M$ iff the transformed one holds in $M^\xi$. | ||
| - | We schematically illustrate four such transformations. | + | We schematically illustrate four such transformations on models. |
| ==== Example 1 ==== | ==== Example 1 ==== | ||
noforg.1465319884.txt.gz · Last modified: 2016/06/07 20:18 by matei.popovici
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 3.0 Unported
