会员服务
On A Parameterized Theory of Dynamic Logic for Operationally-based Programs
Arxiv
0+阅读 · 2月10日
A Complete Propositional Dynamic Logic for Regular Expressions with Lookahead
Arxiv
0+阅读 · 2月10日
Morita Rigidity for Kleene Algebras
Arxiv
0+阅读 · 2月5日
A Complete Propositional Dynamic Logic for Regular Expressions with Lookahead
Arxiv
0+阅读 · 1月21日
Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
Arxiv
0+阅读 · 2025年12月28日
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs
Arxiv
0+阅读 · 2023年3月30日
参考链接
微信扫码咨询专知VIP会员
Top