規則を付け加えた様相論理のシークエント計算体系