New Axiomatizations of S3 and S4
โ
Leo Simons
๐
Article
๐
1953
๐
Association for Symbolic Logic
๐
English
โ 497 KB