• Contact
  • Submissions
  • About
  • Updates
  • Journals
  • Books
  • Subscribe To Open
    • Authors
    • Libraries
    • Booksellers
JournalsprimsVol. 13, No. 2pp. 381–468

A Study of Kripke-type Models for Some Modal Logics by Gentzen's Sequential Method

  • Masahiko Sato

    University of Tokyo, Japan
A Study of Kripke-type Models for Some Modal Logics by Gentzen's Sequential Method cover
Download PDF

Cite this article

Masahiko Sato, A Study of Kripke-type Models for Some Modal Logics by Gentzen's Sequential Method. Publ. Res. Inst. Math. Sci. 13 (1977), no. 2, pp. 381–468

DOI 10.2977/PRIMS/1195189814

Publication Date

31 August 1977

Identifiers

DOI
10.2977/PRIMS/1195189814
  • Contact
  • Legal Notice
  • Privacy Policy
  • Accessibility Statement

© 2022 EMS Press
EMS Press is an imprint of the European Mathematical Society - EMS - Publishing House GmbH,
a subsidiary of the European Mathematical Society.