modal logic (Q210841)
formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.
Language: