diff options
Diffstat (limited to 'Assignment1/syntax.tex')
| -rw-r--r-- | Assignment1/syntax.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Assignment1/syntax.tex b/Assignment1/syntax.tex index 5d2830a..6d86281 100644 --- a/Assignment1/syntax.tex +++ b/Assignment1/syntax.tex @@ -22,7 +22,7 @@ The $\Sop$-modality is comparable to $\Uop$: $\phi_1\Sop\phi_2$ holds if $\phi_2 \enspace\middle|\enspace a \enspace\middle|\enspace \phi_1 \land \phi_2 \enspace\middle|\enspace \lnot \phi - \enspace\middle|\enspace \bigcirc \phi + \enspace\middle|\enspace \Xop \phi \enspace\middle|\enspace \phi_1 \Uop \phi_2 \enspace\middle|\enspace \Pop \phi \enspace\middle|\enspace \phi_1 \Sop \phi_2 @@ -208,6 +208,6 @@ Before turning to the formal semantics in the next subsection, we provide some e These include $\mathbf X^{-1}, \mathbf G^{-1}, \mathbf F^{-1}$~\citep{Markey2003}, but also \raisebox{-1pt}{\tikz\draw[black,fill=black](0,0)circle(.4em);}$,\blacksquare,\blacklozenge$~\citep{Gabbay1989} - and $\stackinset{c}{}{c}{}{$\cdot$}{$\bigcirc$},\boxdot,\stackinset{c}{}{c}{}{$\cdot$}{$\lozenge$}$~\citep{Havelund2002}. + and $\stackinset{c}{}{c}{}{$\cdot$}{$\Xop$},\boxdot,\stackinset{c}{}{c}{}{$\cdot$}{$\lozenge$}$~\citep{Havelund2002}. \end{remark} \cbend |