Norms, logics and information systems new studies in deontic logic and computer science (IOS Press [u.a.], 1999)