基本的に様相論理は決定可能