modal logic 模态逻辑
模态逻辑学
modal logic[ noun ]- the logical study of necessity and possibility
<noun.cognition>
- a system of logic whose formal properties resemble certain moral and epistemological concepts
<noun.cognition>
modal logic \mo"dal log"ic\, n.
A system of logic which studies how to combine propositions
which include the concepts of necessity, possibility, and
obligation.
[PJC]