...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 $M_{ExGraph}$ 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.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.