Dual-context Modal Logic as Left Adjoint of Fitch-style Modal Logic
Dual-context Modal Logic as Left Adjoint of Fitch-style Modal Logic
复制标题
作为 Fitch 式模态逻辑左伴随的双上下文模态逻辑
DOI：
10.2197/ipsjjip.27.77
复制
发表时间：
2019
影响因子：
--
通讯作者：
Nishiwaki Yuichi
中科院分区：
文献类型：
--
作者：
Kakutani Yoshihiko;Murase Yuito;Nishiwaki Yuichi
