Abstract
We give a model theoretic proof of Robinson’s consistency theorem for various modal logics and from it derive in the usual way, the interpolation theorem. The main proof is given for the system K and the same method applies to many other systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1976 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Gabbay, D.M. (1976). The Interpolation Theorem. In: Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics. Synthese Library, vol 92. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-1453-3_21
Download citation
DOI: https://doi.org/10.1007/978-94-010-1453-3_21
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-1455-7
Online ISBN: 978-94-010-1453-3
eBook Packages: Springer Book Archive