Modal Model Theory

  • C. Smoryński
Part of the Universitext book series (UTX)


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.


Modal Logic Kripke Model Completeness Theorem Force Relation Finite Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag New York Inc. 1985

Authors and Affiliations

  • C. Smoryński
    • 1
  1. 1.Department of Mathematics and Computer ScienceSan Jose State UniversitySan JoseUSA

Personalised recommendations