An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability

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]

Authors

Hans van Ditmarsch

This author has not been identified. Look up 'Hans van Ditmarsch' in Google

Louwe B. Kuijer

This author has not been identified. Look up 'Louwe B. Kuijer' in Google

Mo Liu 0002

This author has not been identified. Look up 'Mo Liu 0002' in Google