様相論理のソルバー