A study of Kripke-type models for some modal logics by Gentzen's sequential method いくつかの様相論理に対するクリプケ模型のゲンツェンシークエント法による研究

Access this Article

Search this Article

Author

    • 佐藤, 雅彦 サトウ, マサヒコ

Bibliographic Information

Title

A study of Kripke-type models for some modal logics by Gentzen's sequential method

Other Title

いくつかの様相論理に対するクリプケ模型のゲンツェンシークエント法による研究

Author

佐藤, 雅彦

Author(Another name)

サトウ, マサヒコ

University

京都大学

Types of degree

理学博士

Grant ID

乙第3264号

Degree year

1977-03-23

Note and Description

博士論文

2access

preview

Codes

  • NII Article ID (NAID)
    500000297086
  • NII Author ID (NRID)
    • 8000000297892
  • DOI(JaLC)
  • Text Lang
    • eng
  • NDLBibID
    • 000007726268
  • Source
    • Institutional Repository
    • NDL ONLINE

Export

Page Top