Some variants of analytic (cut) of modal logic $bf{S5}$, $bf{K4B}$, and ${bf{K}}_{bf{t}}{bf{4}}$ (Proof theory and related topics)

このアイテムのアクセス数: 114

http://hdl.handle.net/2433/255058

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
2150-07.pdf		6.08 MB	Adobe PDF	見る/開く

タイトル:	Some variants of analytic (cut) of modal logic $bf{S5}$, $bf{K4B}$, and ${bf{K}}_{bf{t}}{bf{4}}$ (Proof theory and related topics)
著者:	矢崎, 大志
著者名の別形:	Yazaki, Daishi
発行日:	Apr-2020
出版者:	京都大学数理解析研究所
誌名:	数理解析研究所講究録
巻:	2150
開始ページ:	76
終了ページ:	89
URI:	http://hdl.handle.net/2433/255058
出現コレクション:	2150 証明論とその周辺

このリポジトリに保管されているアイテムはすべて著作権により保護されています。