Abstract
Most presentations of first-order classical logic allow constant and function symbols to appear in formulas. This is the appropriate point for us to introduce them into our treatment of first-order modal logic. But doing so brings some unexpected complications with it. On the other hand, the rewards are great. The material that follows is, perhaps, the central part of this book.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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
© 1998 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Fitting, M., Mendelsohn, R.L. (1998). Terms and Predicate Abstraction. In: First-Order Modal Logic. Synthese Library, vol 277. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-5292-1_9
Download citation
DOI: https://doi.org/10.1007/978-94-011-5292-1_9
Publisher Name: Springer, Dordrecht
Print ISBN: 978-0-7923-5335-5
Online ISBN: 978-94-011-5292-1
eBook Packages: Springer Book Archive