---
tag: 8XB117FKKV
kind: concept
name: Temporal modal logic
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section T
    note: adopted
    mention: wikipedia://en/76765067#EOJH
    sections: [Summary]
inventory: [TKWZ5JBB4V]
---

## Summary

A branch of modal logic that deals with modalities related to time, such as 'always', 'sometimes', and 'never', allowing for reasoning about temporal aspects of propositions.