Modal logic

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

epistemic modal logic deontic logic dynamic logic classical modal logic doxastic logic

Showing 0 to 5 of 5 Items