A Note on Nesting in Dyadic Deontic Logic

Agneau Belanyek, Davide Grossi, Wiebe van der Hoek

The paper reports on some results concerning Aqvist's dyadic logic known as system G, which is one of the most influential logics for reasoning with dyadic obligations ("it ought t…