Bibliography
H. Rasiowa andR. Sikorski:The Mathematics of Metamathematics. Warszawa 1963, Państwowe Wydawnictwo Naukowe.
C. I. Lewis andC. H. Langford:Symbolic Logic, 2nd ed. New York 1959, Dover Publications.
G. Gentzen:Untersuchungen über das logische Schliessen. I, II, Mathematische Zeitschrift 39 (1935), 176–210, 405–443.
Author information
Authors and Affiliations
Additional information
Allatum est die 6 Novembris 1969
Rights and permissions
About this article
Cite this article
Wasilewska, A. A formalization of the modal propositional S4 calculus. Stud Logica 27, 133–147 (1971). https://doi.org/10.1007/BF02282568
Issue Date:
DOI: https://doi.org/10.1007/BF02282568