diff options
Diffstat (limited to 'Assignment1/semantics.tex')
| -rw-r--r-- | Assignment1/semantics.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Assignment1/semantics.tex b/Assignment1/semantics.tex index 05e96fb..1c0786d 100644 --- a/Assignment1/semantics.tex +++ b/Assignment1/semantics.tex @@ -101,7 +101,7 @@ This is done in \cref{ex:dual-modalities}. The semantics over words extend to transition systems similar to the LTL case in Definition 5.7. The only difference is that $\vDash$ now is a ternary relation, and we use $\pi\vDash\phi$ as a shorthand for $\pi\vDash_0\phi$. -\begin{figure}[h] +\begin{figure}[ht] \centering \begin{tikzpicture}[initial text={},node distance=3cm,->] \node[state,label=below:{$\{a,b\}$},initial] (s1) {$s_1$}; |