All normal extensions of S5-squared are finitely axiomatizable - Bezhanishvili, Nick; Hodkinson, Ian (Inst. for Logic, Language and Computation, 2003)