神戸大学附属図書館デジタルアーカイブ
https://hdl.handle.net/20.500.14094/81008474

このアイテムのアクセス数:53件（2025-05-05 13:33 集計）

メタデータ

ファイル出力

メタデータID
81008474
アクセス権
metadata only access
出版タイプ
Not Applicable (or Unknown)
タイトル
様相述語論理におけるシークエント計算とタブロー法
ヨウソウ ジュツゴ ロンリ ニオケル シークエント ケイサン ト タブローホウ
その他のタイトル
Tableau System and Sequent Calculus in First-order Modal Logic
著者
著者名
久本, 久男
Hisamoto, Hisao
ヒサモト, ヒサオ
所属機関名
神戸大学大学院経営学研究科
言語
Japanese (日本語)
収録物名
国民経済雑誌
巻(号)
207(4)
ページ
59-69
出版者
神戸大学経済経営学会
刊行日
2013-04
キーワード
様相述語論理
認識論理
シンタクス
冠頭タブロー法
冠頭シークエント推論ルール
カテゴリ
経営学研究科
国民経済雑誌 ＞ 207巻 ＞ 207巻4号（2013-04）
紀要論文
関連情報
NAID
110009574981　CiNiiで表示