委任(delegation)および取消(revocation)スキームにおけるダイナミックス:論理的アプローチ | AMiner