Ceek.jp Altmetrics (α ver.)
文献ランキング
合計
1ヶ月間
1週間
1日間
文献カレンダー
新着文献
すべて
2 Users
5 Users
10 Users
新着投稿
Yahoo!知恵袋
レファレンス協同データベース
教えて!goo
はてなブックマーク
OKWave
Twitter
Wikipedia
検索
ウェブ検索
ニュース検索
ホーム
文献詳細
1
0
0
0
OA
A Study of Kripke-type Models for Some Modal Logics by Gentzen's Sequential Method
著者
Masahiko Sato
出版者
Research Institute forMathematical Sciences
雑誌
Publications of the Research Institute for Mathematical Sciences
(
ISSN:00345318
)
巻号頁・発行日
vol.13, no.2, pp.381-468, 1977 (Released:2009-01-22)
参考文献数
44
被引用文献数
28
言及状況
変動(ピーク前後)
変動(月別)
分布
外部データベース (DOI)
1
Altmetric.com
9
Mendeley
DOI Chronograph
Google Scholar
Twitter
(1 users, 1 posts, 0 favorites)
収集済み URL リスト
https://www.jstage.jst.go.jp/article/kyotoms1969/13/2/13_2_381/_article
(1)