MENTAL MODEL · M13258
时态逻辑
Temporal Logic
更新于 2026-09-10
CORE DEFINITION · 核心定义
广义上，时态逻辑涵盖表示与推理时间和时间信息的一切形式进路；狭义上，它通常指普赖尔在1950年代以“时态逻辑”之名引入、后由众多逻辑学家与计算机科学家发展的模态逻辑式进路。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
- 时序断言：把“终将”“曾经”等说法写成可检验的时间算子 - 状态追踪：沿时间线追踪同一命题在各时刻的真值变化 - 约束表达：刻画先后顺序与持续性，用于规范系统的行为
anchor
锚定快速决策
时态逻辑把“将来总是”“过去曾有”这类表达处理为模态算子，其语义建立在时间结构之上：或以时刻配先后关系，或以区间配区间间的关系。一个“将来”式断言在某时刻真，当且仅当它在所有更晚时刻真。时间取点状或区间状、线性或分叉，直接决定哪些原则有效。
MINIMUM ACTION · 最小行动
进行中 0/4在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- plato.stanford.eduhttps://plato.stanford.edu/entries/logic-temporal/verified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型