Comonadic semantics for hybrid logic
Comonadic semantics for hybrid logic
复制标题
混合逻辑的共元语义
DOI：
10.4230/lipics.mfcs.2022.7
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
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：
--
发表时间：
2001
期刊：
Bull. EATCS
影响因子：
--
作者：
E. Grädel
通讯作者：
E. Grädel
有限模型理论中的卵石关系共同点
DOI：
--
发表时间：
2021
期刊：
Logic in Computer Science
影响因子：
--
作者：
Yoàv Montacute;Nihil Shah
通讯作者：
Nihil Shah
有限结构上的模态逻辑
DOI：
--
发表时间：
1997
期刊：
Journal of Logic, Language and Information
影响因子：
--
作者：
Eric Rosen
通讯作者：
Eric Rosen