Studia Logica

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

A formalization of the modal propositional S4 calculus

  • Anita Wasilewska
Article

Keywords

Mathematical Logic Computational Linguistic 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  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