Buy Me a Coffee at ko-fi.com

Modal logic

formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.

Pronunciation
/ˈmoʊdl ˈlɑʤɪk/
/ˈməʊdəl ˈlɒʤɪk/