Publisher
Springer Berlin Heidelberg
Cited by
53 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Complete Game Logic with Sabotage;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Axiomatization of Hybrid Logic of Link Variations;Lecture Notes in Computer Science;2024
3. Reactive Graphs in Action;Lecture Notes in Computer Science;2024
4. Bisimulation in model-changing modal logics: An algorithmic study;Journal of Logic and Computation;2023-08-24
5. A Simple Logic of the Hide and Seek Game;Studia Logica;2023-05-17