Abstract
As we saw in the last chapter, one can get pretty far in studying self-reference in arithmetic by purely syntactic means. Unfortunately, syntax tends to be forgettable as well as limited and somewhat involved. Fortunately, there are various semantic interpretations with suggestive terminologies to aid the memory or, at least, rediscovery.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag New York Inc.
About this chapter
Cite this chapter
SmoryĆski, C. (1985). Modal Model Theory. In: Self-Reference and Modal Logic. Universitext. Springer, New York, NY. https://doi.org/10.1007/978-1-4613-8601-8_3
Download citation
DOI: https://doi.org/10.1007/978-1-4613-8601-8_3
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-96209-2
Online ISBN: 978-1-4613-8601-8
eBook Packages: Springer Book Archive