An algebraic approach to prove γ-admissibility of relevant modallogics

An algebraic approach to prove γ-admissibility of relevant modallogics
复制标题

证明相关模态逻辑的 γ 可接受性的代数方法

DOI:
--
复制
发表时间:
2007
期刊:
影响因子:
--
通讯作者:
関 隆宏
関 隆宏
中科院分区:
--
文献类型:
--
作者:
N.Galatos;H.Ono;Nikolaos Galatos;宮崎 裕;宮崎 裕;Y. Miyazaki;Y. Miyazaki;Nikolaos Galatos;Nikolaos Galatos;Yutaka Miyazaki;Yutaka Miyazaki;小野 寛晰;H. Ono;田中 義人;関 隆宏

文献摘要

相似文献