2023 | OriginalPaper | Chapter
Preliminaries from Model Theory and Logic
Author : Alessandro Gianola
Published in: Verification of Data-Aware Processes via Satisfiability Modulo Theories
Publisher: Springer Nature Switzerland
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
In this chapter, we provide the basic preliminaries from first-order logic that are needed for the first part of the book. We also present some notations employed in this work and some notions from model theory that will be extensively used for the technical treatment. Finally, we summarize basic notions on classical relational databases.