modal logic

短语

模态逻辑

词形变化

modal logics 复数 modal logics

释义与例句

n.

1.

Any formal system that attempts to deal with modalities, such as possibility and necessity, but also obligation and permission.

可数不可数数学哲学

词汇关系

名词

上位词 4

logic formal logic mathematical logic symbolic logic

下位词 3

deontic logic doxastic logic epistemic logic