时态逻辑
更新时间:-- | 阅读量: 11

亦称“时序逻辑”。研究含有时态词的命题形式和推理形式,目的是把与时间相联系的推理系...他在两个演算的基础上加入时态算子，增加几条时态公理，构造了时态逻辑系统。此后，一些逻辑学家又陆续地构造了不同的时态逻辑系统。在时态逻辑中，将语句分为时 ...

搜索到与“ 时态逻辑”相关的文献共 1条

时态德摩根逻辑的语义与证明论
本文从语义学与证明论的角度研究了时态德摩根代数所对应的逻辑DMt。一方面,基于时态德摩根代数的表示定理,本文给出了时态德摩根逻辑的关系语义,并证明了DMt相对于该语义是可靠且完全的;另一方面,本文构造...

《逻辑学研究》 2017年04期关键词: "德摩根代数"," 四值逻辑"," 时态德摩根逻辑"," 关系语义"," 显示系统" 收藏