様相論理の決定可能性
正規様相論理の決定可能性
様相論理S4Grzは決定可能