References
M.J.Cresswell, ‘A conjunctive normal form for S3.5’, Journal of Symbolic Logic 34 (1969), 253–255.
G.E.Hughes and M.J.Cresswell, An Introduction to Modal Logic, Methuen and Co., London, 1968.
M.Wajsberg, ‘Ein erweiteter Klassenkalkül’, Monatshefte für Mathematik und Physik 40 (1933), 113–126.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Schumm, G.F. Wajsberg normal forms for S5. J Philos Logic 4, 357–360 (1975). https://doi.org/10.1007/BF00262043
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF00262043