@misc{indiciaeac3b5fb4cb38,
  title = {A universal Kripke frame for the variable-free fragment of RC\$\textasciicircum{}\textbackslash{}nabla\$},
  author = {Lev D. Beklemishev},
  year = {2018},
  url = {https://arxiv.org/abs/1804.02641},
  note = {Source identifier: 1804.02641}
}