Terms containing modal logic

Subject	English	Chinese
AI.	axiom of modal logic	模态逻辑公理
AI.	modal logic	情态逻辑
IT	modal logic	模态逻辑
tech.	modal logic	模态逻辑学
IT	modal logic system on knowledge	关 于知道的模态逻辑系统
IT	modal logic system on necessary	关于必然的模态逻辑系统
IT	modal logic system on obligation	关于应该的模态逻辑系统
AI.	modal temporal logic	模态时序逻辑
AI.	semantics of normal modal logic	正规模态逻辑的语义