All normal extensions of S5-squared are finitely axiomatizable - Bezhanishvili, Nick; Hodkinson, Ian (ILLC research report and technical notes series, 2003)