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]

@inproceedings{DitmarschKL23,
  title = {An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability},
  author = {Hans van Ditmarsch and Louwe B. Kuijer and Mo Liu 0002},
  year = {2023},
  doi = {10.1007/978-3-031-45558-2_5},
  url = {https://doi.org/10.1007/978-3-031-45558-2_5},
  researchr = {https://researchr.org/publication/DitmarschKL23},
  cites = {0},
  citedby = {0},
  pages = {63-76},
  booktitle = {Logic, Rationality, and Interaction - 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings},
  editor = {Natasha Alechina and Andreas Herzig and Fei Liang},
  volume = {14329},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-031-45558-2},
}