## What is modal logic?

Modal logic is an extension of formal logic that allows reasoning about certainties and possibilities. In comparison with classical logic, modal one considers that things may not always be as they are at that moment. For example, one may use modal logic by saying, “although the sun is usually yellow,...