Publications of the Research Institute for Mathematical Sciences
Online ISSN : 1663-4926
Print ISSN : 0034-5318
A Study of Kripke-type Models for Some Modal Logics by Gentzen's Sequential Method
Masahiko Sato
著者情報
ジャーナル フリー

1977 年 13 巻 2 号 p. 381-468

詳細
PDFをダウンロード (6253K)
メタデータをダウンロード RIS形式

(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)

BIB TEX形式

(BibDesk、LaTeXとの互換性あり)

テキスト
メタデータのダウンロード方法
発行機関連絡先
記事の1ページ目
著者関連情報

この記事は最新の被引用情報を取得できません。

© Research Institute forMathematical Sciences
前の記事 次の記事
お気に入り & アラート

閲覧履歴
前身誌

Publications of the Research Institute for Mathematical Sciences, Kyoto University. Ser. A

このページを共有する
feedback
 Top