- ...semantics2.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]
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ... No2.2
- The abstract model
is also often called a Kripke Model.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ... available2.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.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ... impossible2.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.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.