Input/Output Logic With a Consistency Check - the Case of Permission