Comonadic semantics for hybrid logic and bounded fragments
Comonadic semantics for hybrid logic and bounded fragments
复制标题
混合逻辑和有界片段的共元语义
DOI：
10.48550/arxiv.2110.09844
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Abramsky S
中科院分区：
文献类型：
--
作者：
Abramsky S
登录
查看更多内容
论数据记录的表达能力：工具和案例研究
DOI：
10.1145/298514.298542
发表时间：
1990
期刊：
Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
影响因子：
--
作者：
Phokion G. Kolaitis;Moshe Y. Vardi
通讯作者：
Moshe Y. Vardi
集合论中的公式层次
影响因子：
1.9
作者：
A. Levy
通讯作者：
A. Levy
守卫、界限和广义语义
DOI：
10.1007/s10849-005-5786-y
发表时间：
2005
期刊：
Journal of Logic, Language and Information
影响因子：
--
作者：
J. Benthem
通讯作者：
J. Benthem
为什么模态逻辑如此稳健可判定？
DOI：
--
发表时间：
2001
期刊：
Bull. EATCS
影响因子：
--
作者：
E. Grädel
通讯作者：
E. Grädel
有限结构上的模态逻辑
DOI：
--
发表时间：
1997
期刊：
Journal of Logic, Language and Information
影响因子：
--
作者：
Eric Rosen
通讯作者：
Eric Rosen