様相論理学

様相論理学（ようそうろんりがく）は古典的な論理学では扱わない「～でなければならない」「～でありうる」「～べきである」といった可能性や必然性に関わる命題を扱う論理学である。