Fragments of existential second-order logic and logics with team semantics
Fragments of existential second-order logic and logics with team semantics
复制标题
存在二阶逻辑和团队语义逻辑的片段
DOI：
10.18154/rwth-2020-05121
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
M. Hoelzel
中科院分区：
文献类型：
--
作者：
M. Hoelzel
登录
查看更多内容
团队语义中的包含与排除依赖——论不完美信息的一些逻辑
影响因子：
0.8
作者：
P. Galliani
通讯作者：
P. Galliani
DOI：
--
发表时间：
1970
期刊：
影响因子：
--
作者：
H. Enderton
通讯作者：
H. Enderton
DOI：
--
发表时间：
1970
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
Wilbur Walkoe
通讯作者：
Wilbur Walkoe
DOI：
--
发表时间：
2012
期刊：
Studia Logica: An International Journal for Symbolic Logic
影响因子：
--
作者：
E. Grädel;J. Väänänen
通讯作者：
J. Väänänen
作为一种语义现象的信息独立性
DOI：
10.1016/s0049-237x(08)70066-1
发表时间：
1989
期刊：
Studies in logic and the foundations of mathematics
影响因子：
--
作者：
J. Hintikka;G. Sandu
通讯作者：
G. Sandu