Kr 59 S. Kripke. A Completeness Theorem in Modal Logic (1975)

by 4 No