Studia Logica

, Volume 27, Issue 1, pp 133–147 | Cite as

A formalization of the modal propositional S4 calculus

  • Anita Wasilewska


Mathematical Logic Computational Linguistic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    H. Rasiowa andR. Sikorski:The Mathematics of Metamathematics. Warszawa 1963, Państwowe Wydawnictwo Naukowe.Google Scholar
  2. [2]
    C. I. Lewis andC. H. Langford:Symbolic Logic, 2nd ed. New York 1959, Dover Publications.Google Scholar
  3. [3]
    G. Gentzen:Untersuchungen über das logische Schliessen. I, II, Mathematische Zeitschrift 39 (1935), 176–210, 405–443.Google Scholar

Copyright information

© Warszawa 1971

Authors and Affiliations

  • Anita Wasilewska
    • 1
  1. 1.Institute of Mathematics, University of WarsawWarsawPoland

Personalised recommendations