Kripke incomplete logics containing KTB
Kripke incomplete logics containing KTB
复制标题
包含 KTB 的 Kripke 不完全逻辑
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Yutaka Miyazaki
中科院分区：
文献类型：
--
作者：
徳永恵子;只浦寛子;Yutaka Miyazaki;Yutaka Miyazaki
登录
查看更多内容
论模态逻辑的不完备程度及模态逻辑格中的覆盖关系
影响因子：
0.6
作者：
W. Blok
通讯作者：
W. Blok
两个简单的不完全模态逻辑
影响因子：
0.5
作者：
J. Benthem
通讯作者：
J. Benthem
包含具有某些有限性条件的 KTB 的正则模态逻辑
DOI：
--
发表时间：
2005
期刊：
Advances in Modal Logic 5
影响因子：
--
作者：
N.Galatos;H.Ono;Nikolaos Galatos;宮崎 裕
通讯作者：
宮崎 裕
模态逻辑中的不完备性定理
DOI：
10.1111/j.1755-2567.1974.tb00077.x
发表时间：
1974
期刊：
影响因子：
--
作者：
S. K. Thomason
通讯作者：
S. K. Thomason
模态不完备性定理的句法方面
DOI：
10.1111/j.1755-2567.1979.tb00794.x
发表时间：
2008
期刊：
影响因子：
--
作者：
J. Benthem
通讯作者：
J. Benthem