随着数据库与信息技术的深入和发展，信息系统面临许多新的应用和新的需求，对时态信息处理的需求越来越迫切。时态信息处理已成为许多新一代数据库与信息系统的关键技术，其中，针对时态知识的表达、推理与查询一直是时态信息处理中最为关键的研究点。本文相关研究工作主要在时态查询语言与时态知识表达的背景下展开。 首先，在时态查询语言方面，1994年，D．M．Gabby等论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，相关时态逻辑的查询语言建模是非公理化的，这使得相关形式化研究工作陷入了一个困境。我们无法利用公理化系统的可靠性和完全性对时态逻辑所表达的一些与数据库相关的时态知识做准确表达及语义刻画。然而，必要的公理化工作仍需要有人完成，因为其能更“细精度”、更严谨地刻画时态特性。 针对此，本文首先讨论了时态数据库时间轴的公理化逻辑刻画问题。利用动态逻辑对Tense Logic的Lin．Z系统进行了转化，并添加了相应参数化处理，使得对时间轴的刻画更为“精细”、动态化和函数化。 其次，针对时态查询语言的递归公理化问题及句法分析问题，文章结合时态的处理，构建了并发的Lambek演算（LCTO）及其相应的范畴语法对以公理化系统为基础的时态查询语言的句法分析做相关研究。相关工作是中山大学协同软件研究开发中心时态数据库中间件TempDB课题的后续研究。 最后，在知识的认知与推理方面，本文分析了当前智能主体信念研究方面存在的问题与误区，提出了以子结构逻辑为出发点，结合认知与时态的解决方案，构建了相应的认知时态子结构逻辑BSoET系统。