${\rm E}$ and ${\rm S}4$.

• 1 April 1970
• journal article
• Published by Duke University Press in Notre Dame Journal of Formal Logic
• Vol. 11  (2)
• https://doi.org/10.1305/ndjfl/1093893935

Abstract