Synonyms
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 via an institution.
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
© 2016 Springer Science+Business Media LLC
About this entry
Cite this entry
Tannen, V. (2016). First-Order Logic: Semantics. In: Liu, L., Özsu, M. (eds) Encyclopedia of Database Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4899-7993-3_1000-2
Download citation
DOI: https://doi.org/10.1007/978-1-4899-7993-3_1000-2
Received:
Accepted:
Published:
Publisher Name: Springer, New York, NY
Online ISBN: 978-1-4899-7993-3
eBook Packages: Springer Reference Computer SciencesReference Module Computer Science and Engineering