modal logic

英 美
  • 模态逻辑
  • logic n.逻辑;逻辑学;条理性;推理
  • modal adj.模态的;形态上的;情态的n.莫代尔(一种新型纤维素纤维)
Noun:
  1. the logical study of necessity and possibility

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

    1. The book contains an excellent discussion of modal logic.
      这本书包含了有关模态逻辑的精彩探讨。