Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$
Authors
Guram Bezhanishvili, Mashiath Khan
Abstract
We prove that is product matching, and that is axiomatizable by adding to the Gödel translation of the monadic Casari formula. This settles the question of the finite axiomatizability of these logics.
