会员服务
Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
Arxiv
0+阅读 · 2025年12月28日
Front-door Reducibility: Reducing ADMGs to the Standard Front-door Setting via a Graphical Criterion
Arxiv
0+阅读 · 2025年11月19日
Front-door Reducibility: Reducing ADMGs to the Standard Front-door Setting via a Graphical Criterion
Arxiv
0+阅读 · 2025年12月2日
Adding Negation to Lambda Mu
Arxiv
0+阅读 · 2023年5月2日
参考链接
微信扫码咨询专知VIP会员
Top