We only have this paper's title and publication details.
Read it at the sourceAnswers are grounded in this paper and cite their sources.
The following system is an extension of the Lewis calculus S2 to include quantification.
No takes yet. Share an insight, caveat, or question.
Ruth C. Barcan (1946) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: