modal logic

Từ điển WordNet v3.1 - WordNet Dictionary

noun

1. the logical study of necessity and possibility
• Hypernyms:
logic
2. a system of logic whose formal properties resemble certain moral and epistemological concepts
• Hypernyms:
symbolic logic, mathematical logic, formal logic
• Hyponyms:
alethic logic, deontic logic, epistemic logic, doxastic logic