Maria’s Reviews > Katabasis > Status Update

I'm almost done and the main thing that interests me is whether the Kripkes were named after Kripke semantics/Saul Kripke