Yanjun Li, Jiajie Zhao. A Temporal Logic for Successive Events. In Natasha Alechina, Andreas Herzig, Fei Liang, editors, Logic, Rationality, and Interaction - 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings. Volume 14329 of Lecture Notes in Computer Science, pages 176-189, Springer, 2023. [doi]
Abstract is missing.