A Sequent Calculus for K-restricted Common Sense Modal Predicate Logic

Sawasaki, Takahiro

2019, 002-005

Permalink : https://hdl.handle.net/2115/76687

このアイテムのアクセス数:8622026-08-24 20:32 集計

閲覧可能ファイル 

ファイル フォーマット サイズ 閲覧回数 説明
3_Takahiro Sawasaki pdf 503 KB 506

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

アクセス権
URI
タイトル
著者
言語
発行日
ページ
記述
会議記述
資源タイプ
出版タイプ