Modal Logic

Home > Mathematics > Set Theory > Set Theory and Logic > Modal Logic

This type of Logic is used to express assertions about necessity, possibility, and contingency.