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.
References
G. E. Hughes and M. J. Cresswell, An Introduction to Modal Logic, Methuen and Co. Ltd., London (1968).
S. Kripke, Semantical considerations on modal and intuitionistic logic, Acta Philosophica Fennica, Modal and Many Valued Logics, Vol. 16 (1963), 83–94.
A. C. Leisenring, Mathematical Logic and Hilbert's ε-Symbol, MacDonald Technical and Scientific, London (1969).
K. Schűtte, Vollständige Systeme Modaler und Intuitionistischer Logik, Springer-Verlag, Berlin (1968).
R. Stalnaker and R. Thomason, Abstraction in first-order modal logic, Theoria, Vol. 34 (1968), 203–207.
R. Thomason and R. Stalnaker, Modality and reference, Nous, 2 (1968), 359–372.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1972 Springer-Verlag
About this paper
Cite this paper
Fitting, M. (1972). An ε-calculus system for first-order S4. In: Hodges, W. (eds) Conference in Mathematical Logic — London ’70. Lecture Notes in Mathematics, vol 255. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0059540
Download citation
DOI: https://doi.org/10.1007/BFb0059540
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-05744-4
Online ISBN: 978-3-540-37162-5
eBook Packages: Springer Book Archive