Ryo Hatano, Pimolluck Jirakunkanok, Katsuhiko Sano. Dynamic Logic of Product Relation Changers. In Jing Wang, Alexandre Madeira, Lei Li, editors, Dynamic Logic. New Trends and Applications - 6th International Workshop, DaLí 2025, Xi'an, China, October 20-21, 2025, Revised Selected Papers. Volume 16472 of Lecture Notes in Computer Science, pages 134-150, Springer, 2025. [doi]
Abstract is missing.