Encyclopedia of Database Systems

2018 Edition
| Editors: Ling Liu, M. Tamer Özsu

First-Order Logic: Semantics

  • Val Tannen
Reference work entry
DOI: https://doi.org/10.1007/978-1-4614-8265-9_1000

Synonyms

FOL; Predicate calculus; Predicate logic

Definition

This entry should be read in conjunction with the companion entry First-Order Logic: Syntax where the terms vocabulary, variable, formula, etc. are defined.
This is a preview of subscription content, log in to check access.

Recommended Reading

  1. 1.
    Enderton HB. A mathematical introduction to logic. 2nd ed. New York: Academic; 2000.zbMATHGoogle Scholar
  2. 2.
    Libkin L. Elements of finite model theory. Berlin: Springer; 2004.zbMATHCrossRefGoogle Scholar
  3. 3.
    Abiteboul S, Hull R, Vianu V. Foundations of databases: the logical level. Reading: Addison Wesley; 1994.Google Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Department of Computer and Information ScienceUniversity of PennsylvaniaPhiladelphiaUSA

Section editors and affiliations

  • Val Tannen
    • 1
  1. 1.Dept. of Computer and Inf. ScienceUniv. of PennsylvaniaPhiladelphiaUSA