Switch to: Citations

Add references

You must login to add references.
  1. A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.