1 citations to 10.1093/logcom/exad078 (Crossref Cited-By Service)
  1. Mikhail Rybakov, Dmitry Shkatov, “Variations on the Kripke Trick”, Stud Logica, 2024  crossref