Models of First-Order Languages

Part of the Progress in Computer Science and Applied Logic (PCS) book series (PCS, volume 25)


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


Object Language Function Symbol Atomic Formula Logical Formula Predicate Symbol 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Verlag AG 2010

Authors and Affiliations

  • Wei Li
    • 1
  1. 1.State Key Laboratory of Software Development EnvironmentBeihang UniversityBeijingChina

Personalised recommendations