ردهها paper A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology (1941) Participants: گسترشها J. C. C. McKinsey (1908 – 1953)