@misc{indiciaef64e5f924311,
  title = {Finite axiomatization of \$\textbackslash{}textbf\{GL\}\textbackslash{}times\textbackslash{}textbf\{S5\}\$ and \$\textbackslash{}textbf\{Grz\}\textbackslash{}times\textbackslash{}textbf\{S5\}\$},
  author = {Guram Bezhanishvili and Mashiath Khan},
  year = {2025},
  url = {https://arxiv.org/abs/2512.09381},
  note = {Source identifier: 2512.09381}
}