A Syntactical Characterization of S5
โ
Gustav Bergmann
๐
Article
๐
1949
๐
Association for Symbolic Logic
๐
English
โ 200 KB