Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Are Targeted Messages More Effective?;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. On Composing Finite Forests with Modal Logics;ACM Transactions on Computational Logic;2023-04-03
3. Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?;Logical Methods in Computer Science;2022-07-28
4. COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND;The Review of Symbolic Logic;2022-07-07
5. Concrete domains in logics;ACM SIGLOG News;2021-07