Completeness for Game Logic
Completeness for Game Logic
复制标题
游戏逻辑的完整性
DOI：
10.1109/lics.2019.8785676
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Enqvist S
中科院分区：
文献类型：
--
作者：
Enqvist S
登录
查看更多内容
具有模态 Mu 演算名称的 Tableau 证明系统
DOI：
--
发表时间：
2014
期刊：
HOWARD-60
影响因子：
--
作者：
C. Stirling
通讯作者：
C. Stirling
用于模态 μ 演算的 Tableau 系统
DOI：
--
发表时间：
2010
期刊：
影响因子：
--
作者：
Natthapong Jungteerapanich
通讯作者：
Natthapong Jungteerapanich
单调模态逻辑
DOI：
--
发表时间：
2003
期刊：
影响因子：
--
作者：
H. Hansen;C. Kupke;E. Pacuit
通讯作者：
E. Pacuit
DOI：
10.1007/3-540-45744-5_7
发表时间：
2001-06
期刊：
--
影响因子：
--
作者：
U. Sattler;Moshe Y. Vardi
通讯作者：
U. Sattler;Moshe Y. Vardi
代数动态逻辑的弱完备性
影响因子：
2
作者：
H. Hansen;C. Kupke
通讯作者：
C. Kupke