# 模态逻辑

> 在命题逻辑基础上增加"必然"（□）和"可能"（◇）算子，处理可能性、必然性、时间、知识等模态问题。

- ID: m10610
- 分类: structure
- 领域: 逻辑学

## 定义

在命题逻辑基础上增加"必然"（□）和"可能"（◇）算子，处理可能性、必然性、时间、知识等模态问题。涵盖变体：模态必然性演算、模态逻辑层级、模态分层论脚手架作用：扩展推理边界。不只问"是不是真"，还问"必须是真吗""可能是真吗"，处理更复杂的推理场景。

## 机制

在命题逻辑引入可能世界语义，用可达关系定义□（在所有可达世界为真）与◇（在某一可达世界为真），区分必然与可能及其蕴涵关系。

## 练习

1）明确模态算子与解释（知识/时间/义务）；2）建立可能世界框架；3）推演模态结论；4）校验公理系统一致性。

## 脚手架用法

扩展推理边界。不只问"是不是真"，还问"必须是真吗""可能是真吗"，处理更复杂的推理场景。

[阅读网页](https://thinkingmodels.site/entries/detail/m10610)