Modified Kripke Interpretation

  • Dov M. Gabbay
Chapter
Part of the Synthese Library book series (SYLI, volume 148)

Abstract

We begin this chapter with an example. Consider a language that contains the symbol =. We want to characterize it as the symbol for equality.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 1981

Authors and Affiliations

  • Dov M. Gabbay
    • 1
  1. 1.Bar-Ilan UniversityIsrael

Personalised recommendations