modal logic
formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.
en-US/ˈmoʊdəl ˈlɑd͡ʒɪk/
en-GB/ˈməʊdl ˈlɒd͡ʒɪk/
formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.