Modal logic

Is focused on concepts of possibility and necessity.