、模态逻辑 1、模态逻辑的定义 模态逻辑是研究模态词构成的命题及其推理的逻辑学科。 2、模态逻辑的种类 ☆模态逻辑有广、狭之分。 ☆狭义的模态逻辑是关于含有“必然”、“可能”的命题及 其 推理的科学。 ☆广义的模态逻辑则包括了狭模态逻辑及关于应该、允许、 禁止等的道义逻辑,关于知道、相信等的认知逻辑,关于 过去、现在、将来等的时间模态逻辑 202l/1/212021/1/21 13 三、模态逻辑 1、模态逻辑的定义 模态逻辑是研究模态词构成的命题及其推理的逻辑学科。 2、模态逻辑的种类 * 模态逻辑有广、狭之分。 * 狭义的模态逻辑是关于含有“必然”、“可能”的命题及 其 推理的科学。 * 广义的模态逻辑则包括了狭模态逻辑及关于应该、允许、 禁止等的道义逻辑，关于知道、相信等的认知逻辑，关于 过去、现在、将来等的时间模态逻辑