Login / Signup

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

Hans van DitmarschLouwe B. KuijerMo Liu
Published in: LORI (2023)
Keyphrases