Source: Otto von Guericke University of Magdeburg ( Fabian Neuhaus)
I.5.7.2 Translation of sentences: $\top$ and $\bot$ are missing!
I.5.7.3 Translation of models:
$M'_\Thing$ does not make sense, because this is unsorted first-order logic.
$\I$ has not been introduced. Sometimes, $I$ is used.
Typo: By Induction (should be: by induction).
As last item, add: The other cases are similar.
The satisfaction condition holds as well. --> The satisfaction condition now follows easily.
Reported: DOL 1.0b1 — Thu, 10 Aug 2017 19:31 GMT
Updated: Wed, 20 Dec 2017 00:03 GMT
- 301-diff.pdf 445 kB (application/pdf)