Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Cited by
64 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A satisfiability algorithm for multimodal logic with converse;2023 11th International Conference in Software Engineering Research and Innovation (CONISOFT);2023-11-06
2. Propositional Modal Tableaus;Synthese Library;2023
3. Local is Best: Efficient Reductions to Modal Logic K;Journal of Automated Reasoning;2022-05-23
4. Extending dynamic logic with refinements of abstract actions;Journal of Logic and Computation;2022-02-21
5. Local Reductions for the Modal Cube;Automated Reasoning;2022