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;田中 義人;関 隆宏