Connexive modal logic based on positive S4

Connexive modal logic based on positive S4
复制标题

基于正S4的连接模态逻辑

DOI：
--
复制
发表时间：
2011
期刊：
Logic without Frontiers : Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday, Tribute Series
影响因子：
--
通讯作者：
Heinrich Wansing
Heinrich Wansing
中科院分区：
--
文献类型：
--
作者：
Norihiro Kamide;Heinrich Wansing

文献摘要

相似文献