- ...semantics
^{2.1}
- Some classical texts about the topic of semantics are Tarski 1936 [264], Morris 1938 [212], Carnap 1942/6 [51] as well as Morris 1946 [211]. For one more recent text about denotational semantics seee.g. Mosses 1990 [215]
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

- ... No
^{2.2}
- The abstract model
is also often called a Kripke Model.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

- ... available
^{2.3}
- For an overview about the history of automated theorem proving since the 1950s see Siekman et al.[256], [257], which presents many of the important papers.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

- ... impossible
^{2.4}
- This dedicated 'non intuitive' character of modern formal logic is nicely described by Schröter 1943 in his paper about what is a mathematical theory [251].
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

- ...#tex2html_wrap_inline12526#
^{5.1}
- From the point of view of the semantics one needs only one initial state.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.