在非单调推理的研究中，主要侧重于静态（陈述性）方面。直到最近，人们才对推理过程的动态方面产生了兴趣，尤其是在人工智能方面。正如理论计算机科学中常见的那样，我们通过使用时序逻辑来指定推理过程并对其属性进行推理，从而研究推理过程的动力学。这种逻辑由一个基本的时间认知逻辑和一个相关的非单调推理关系组成，它们以Shoham的方式解释非单调性。我们提出了一个基逻辑的公理证明系统，并研究了基逻辑和基于它的非单调推理关系的可判定性和复杂性。然后我们研究了一类有趣的公式，证明了它的表示结果，并提供了与单调性规则的联系。