Abstract
As mentioned in Chapter 1, the origins of formal logic are due to Frege [198] who invented in his ‘Begriffsschrift’ a formalism that we now call first order logic. In the meantime, numerous specializations and extensions have been developed. For example the extension to higher order logics [17, 100, 216] can be used to formalize the entire mathematics that we know today. Hence, predicate logic is a very general formalism.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Schneider, K. (2004). Predicate Logic. In: Verification of Reactive Systems. Texts in Theoretical Computer Science. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-10778-2_6
Download citation
DOI: https://doi.org/10.1007/978-3-662-10778-2_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05555-3
Online ISBN: 978-3-662-10778-2
eBook Packages: Springer Book Archive