Deontic interpreted systems - Lomuscio,A; Sergot,M (Studia Logica, 2003)