第8讲 模态逻辑

- 模态逻辑关于广义模态词“必然”、“可能”、“ 必须 ”“允许”等词的命题和推理的逻辑。 - - - -