Temporal Logic
Symbols for Temporal Logics
This package defines functions for rendering temporal operators defined in Linear Temporal Logic (LTL), Metric Temporal Logic (MTL), Metric First-order Temporal Logic (MFOTL), and the Counting Metric First-order Temporal Binding Logic (CMFTBL). The package defines various functions with variants in order to include or omit optional parameters of the operators like the optional interval.
| Sources | /macros/latex/contrib/temporal-logic |
| Documentation | |
| Bug tracker | |
| Repository | |
| Version | 1.1 2026-01-06 |
| Licenses | The LaTeX Project Public License 1.3c |
| Copyright | 2024–2026 Dominik Schmid |
| Maintainer | Dominik Schmid |
| Contained in | TeX Live as temporal-logic MiKTeX as temporal-logic |
| Topics | Text symbol Logic Symbol support Maths symbol |
Download the contents of this package in one zip archive (503.2k).
Announcements
Suggestions
Maybe you are interested in the following packages as well.
Community Comments