Models of First-Order Languages
Wei Li · Birkhäuser Basel eBooks · 2010
As we mentioned in the previous chapter, terms and formulas are all symbol strings. To make use of a first-order language, the terms and formulas need to be interpreted as saying something meaningful about a domain. This semantic interpretation gives meaning to the symbol strings and is called a model of the language. In this chapter, we will build a general theory of semantics for first-order languages. The key ideas are as follows These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.