Games for Topological Fixpoint Logic
Games for Topological Fixpoint Logic
复制标题
拓扑定点逻辑游戏
DOI：
10.4204/eptcs.226.4
复制
发表时间：
2016
影响因子：
--
通讯作者：
Bezhanishvili N
中科院分区：
文献类型：
--
作者：
Bezhanishvili N
登录
查看更多内容
用算子完成相对化定点布尔代数时 Sahlqvist 定点方程的保留
影响因子：
0.6
作者：
Bezhanishvili N
通讯作者：
Bezhanishvili N
模态 mu 微积分的对偶性和完备性
DOI：
10.1016/0304-3975(95)00045-x
发表时间：
1995
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Simon Ambler;M. Kwiatkowska;N. Measor
通讯作者：
N. Measor
次不可约 BAO 的双重表征
影响因子：
0.7
作者：
Y. Venema
通讯作者：
Y. Venema
改变语义：机会主义还是勇气？
DOI：
10.1007/978-3-319-09719-0_20
发表时间：
2014
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
H. Andréka;J. Benthem;N. Bezhanishvili;I. Németi
通讯作者：
I. Németi
拓扑定点逻辑的 Sahlqvist 保全
DOI：
10.1093/logcom/exv010
发表时间：
2015
期刊：
J. Log. Comput.
影响因子：
--
作者：
N. Bezhanishvili;Sumit Sourabh
通讯作者：
Sumit Sourabh