计算机科学家逻辑/模态逻辑/时态逻辑
两个模态和无法用于区分过去和未来。为此，我们需要一个具有以下运算符的多模态逻辑
- : 始终在未来成立
- : 始终在过去成立
- : 始终成立
![{\displaystyle [F]A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f69fcfc5dc6203b75fd0e5104a01db388e07c03)
![{\displaystyle [P]A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0968f052ba0c5268ee3202e957d8a1a3207a73d7)
![{\displaystyle [A]A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da90a602fb669508c811d7a03a97d0242acbad1e)
以及相应的运算符
- : 在未来某个地方成立
- : 在过去某个地方成立
- : 在某个地方成立
然后语义像以前一样给出，通过给出三个可达性关系的约束，或者通过给出适当的公理，例如
- : 传递性；一个类似的公理对另外两个运算符成立。
- : 如果我们从未来 的时间点 开始，我们可以回到过去，回到 为真的时间点。
- : 过去与未来的连接。
![{\displaystyle [F]A\to [F][F]A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b71d876be3cf36859a4c61fa9092d93b49b3ec6e)
![{\displaystyle A\to [F]\langle P\rangle A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/474758ba07a8eb514ad457309b987020141deafc)
![{\displaystyle [A]A\leftrightarrow [F]A\land [P]A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f6afa0df9f4cf5d74c4e9ffb8a8ca2bab05b9dd)
此外，时态逻辑还有许多其他方面。例如，可以区分左线性和右线性结构，或区分密集时间结构和离散时间结构。