diff options
| author | Camil Staps | 2018-04-18 20:50:11 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-04-18 20:50:11 +0200 |
| commit | 205e49a4c15d291a2519eedabd683341a153aa03 (patch) | |
| tree | e7e8cb51415c33c15de74fd014463bcab1707fda /Assignment1/intro.tex | |
| parent | (for me) more intuitive intuitive semantics (diff) | |
Bars everywhere
Diffstat (limited to 'Assignment1/intro.tex')
| -rw-r--r-- | Assignment1/intro.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Assignment1/intro.tex b/Assignment1/intro.tex index 15294ee..ddbaa5a 100644 --- a/Assignment1/intro.tex +++ b/Assignment1/intro.tex @@ -1,8 +1,8 @@ +\erin \subsection{Past Modalities in LTL}\label{sec:intro} % Explain that past Modalities are not necessary for a complete logic % Explain that PLTL does make the logic more succinct (Paper 1) %TODO: Give example on what kind of things we want to express with PLTL -\erin As mentioned in Remark 5.16, LTL can be extended with \emph{past modalities}. This section discusses this extension. The combination of LTL and Past Modalities is often called \enquote{LTL-Past} or PLTL. |