modal logic

Từ điển Oxford Learners Wordfinder 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