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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Recommended Reading
Enderton HB. A mathematical introduction to logic. 2nd ed. New York: Academic; 2000.
Libkin L. Elements of finite model theory. Berlin: Springer; 2004.
Abiteboul S, Hull R, Vianu V. Foundations of databases: the logical level. Reading: Addison Wesley; 1994.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Section Editor information
Rights and permissions
Copyright information
© 2018 Springer Science+Business Media, LLC, part of Springer Nature
About this entry
Cite this entry
Tannen, V. (2018). First-Order Logic: Semantics. In: Liu, L., Özsu, M.T. (eds) Encyclopedia of Database Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-8265-9_1000
Download citation
DOI: https://doi.org/10.1007/978-1-4614-8265-9_1000
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-8266-6
Online ISBN: 978-1-4614-8265-9
eBook Packages: Computer ScienceReference Module Computer Science and Engineering