on modal logic. Show that S$\_4,$ defined by $\backslash$alpha $\backslash$alpha $,$ is equivalent to $\backslash$geoquad $\backslash$geoquad $\backslash$beta $\backslash$geoquad $\backslash$beta for appropriate $\backslash$alpha and $\backslash$beta