Modified Kripke Interpretation
Part of the Synthese Library book series (SYLI, volume 148)
We begin this chapter with an example. Consider a language that contains the symbol =. We want to characterize it as the symbol for equality.
Unable to display preview. Download preview PDF.
© Springer Science+Business Media Dordrecht 1981