Cut-free and Analytic Sequent Calculus of First-Order Intuitionistic Epistemic Logic

Su, Youan; Sano, Katsuhiko

2019, 073-075

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

このアイテムのアクセス数:512件（2026-08-12 09:45 集計）

閲覧可能ファイル 

ファイル フォーマット サイズ 閲覧回数 説明
12_Su_Sano pdf 119 KB 396

論文情報

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

アクセス権
open access
URI
https://hdl.handle.net/2115/76678
タイトル
Cut-free and Analytic Sequent Calculus of First-Order Intuitionistic Epistemic Logic
著者
著者名
Su, Youan
e-Rad_Researcher
20456809
著者名
Sano, Katsuhiko
言語
英語
発行日
2019
ページ
073-075
記述
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