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

Sawasaki, Takahiro

2019, 002-005

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

このアイテムのアクセス数:856件（2026-08-11 02:54 集計）

閲覧可能ファイル 

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

論文情報

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

アクセス権
open access
URI
https://hdl.handle.net/2115/76687
タイトル
A Sequent Calculus for K-restricted Common Sense Modal Predicate Logic
著者
著者名
Sawasaki, Takahiro
言語
英語
発行日
2019
ページ
002-005
記述
5th International Workshop On Philosophy and Logic of Social Reality. 15-17 November 2019.Hokkaido University, Sapporo, Japan
会議記述
会議名
International Workshop on Philosophy and Logic of Social Reality (SOCREAL) 2019
回次
5
開催期間
15-17 November 2019
開催会場
Hokkaido University
開催地
Sapporo
開催国
Japan
資源タイプ
会議発表論文
出版タイプ
Version of Record