Modal Logic is a branch of logic that deals with the study of necessity, possibility, and other modal concepts.