TY  - RPRT
TI  - Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$
AU  - Guram Bezhanishvili
AU  - Mashiath Khan
PY  - 2025
UR  - https://arxiv.org/abs/2512.09381
ID  - 2512.09381
ER  -