References
Alan R.Anderson and Nuel D.Belnap,Entailment: The Logic of Relevance and Necessity, Princeton University Press, Princeton, 1975.
DavidMakinson, ‘There Are infinitely Many Diodorean Modal Functions’,Journal of Symbolic Logic 31 (1966), 406–408.
Krister Segerberg,An Essay in Classical Modal Logic, 3 volumes, Uppsala, 1971.
C. I.Lewis and C. H.Langford,Symbolic Logic, 2nd ed., Dover, New York, 1959.
E. J.Lemmon and ArthurPrior et al., ‘Calculi of Pure Strict Implication’, inPhilosophical Logic, ed. by J. W.Davis, D. J.Hockney, and W. K.Wilson, D. Reidel, Dordrecht, 1969.
Robert K. Meyer, ‘R I —the Bounds of Finitude’,Zeitschrift für mathematische Logik und Grundlagen der Mathematik 16, 385–387.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Byrd, M. Single variable formulas in S4→ . J Philos Logic 5, 439–456 (1976). https://doi.org/10.1007/BF02109437
Issue Date:
DOI: https://doi.org/10.1007/BF02109437