A splitting logic in NEXT (KTB)
A splitting logic in NEXT (KTB)
复制标题
NEXT (KTB) 中的分裂逻辑
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Yutaka Miyazaki
中科院分区：
文献类型：
--
作者：
徳永恵子;只浦寛子;Yutaka Miyazaki
登录
查看更多内容
模态逻辑的一些嵌入定理
DOI：
10.1305/ndjfl/1093894226
发表时间：
1971
期刊：
Notre Dame J. Formal Log.
影响因子：
--
作者：
D. Makinson
通讯作者：
D. Makinson
模态逻辑的一个几乎通用的分裂定理
影响因子：
0.7
作者：
M. Kracht
通讯作者：
M. Kracht
格子的分裂
DOI：
--
发表时间：
1943
期刊：
影响因子：
--
作者：
P. M. Whitman
通讯作者：
P. M. Whitman
论模态逻辑的不完备程度及模态逻辑格中的覆盖关系
影响因子：
0.6
作者：
W. Blok
通讯作者：
W. Blok
包含具有某些有限性条件的 KTB 的正则模态逻辑
DOI：
--
发表时间：
2005
期刊：
Advances in Modal Logic 5
影响因子：
--
作者：
N.Galatos;H.Ono;Nikolaos Galatos;宮崎 裕
通讯作者：
宮崎 裕