Normal modal logics containing KTB with some finiteness conditions
Normal modal logics containing KTB with some finiteness conditions
复制标题
包含具有某些有限性条件的 KTB 的正则模态逻辑
DOI:
--
复制
发表时间:
2005
期刊:
影响因子:
--
通讯作者:
宮崎 裕
中科院分区:
文献类型:
--
作者:
N.Galatos;H.Ono;Nikolaos Galatos;宮崎 裕