WordNet: modal logic

a system of logic whose formal properties resemble certain moral and epistemological concepts

• hypernym formal logic, mathematical logic, symbolic logic

• hyponym alethic logic

• hyponym deontic logic

• hyponym epistemic logic

• hyponym doxastic logic

modal logic

• (suomi) modaalilogiikka (synonyymi)