PP-2003-25: Nick Bezhanishvili, Ian Hodkinson All normal extensions of S5-squared are finitely axiomatizable 1.Abstract, 2.Full Text (PDF), 3.Full Text (PS). < Back
