Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu. On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach. In Diego Calvanese, Esra Erdem 0001, Michael Thielscher, editors, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. pages 361-370, 2020. [doi]
Abstract is missing.