Hans van Ditmarsch, Louwe B. Kuijer, Mo Liu 0002. An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability. 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 63-76, Springer, 2023. [doi]
Abstract is missing.