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.
| Quellen | /macros/latex/contrib/temporal-logic |
| Dokumentation | |
| Fehlermeldungen | https://github.com/tudo-aqua/temporal-logic-latex-package/issues |
| Repository | https://github.com/tudo-aqua/temporal-logic-latex-package/ |
| Version | 1.1 2026-01-06 |
| Lizenzen | The LaTeX Project Public License 1.3c |
| Copyright | 2024–2026 Dominik Schmid |
| Betreuer | Dominik Schmid |
| Enthalten in | TeX Live als temporal-logic MiKTeX als temporal-logic |
| Themen | Logik Textsymbole Symbol supp |
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (503.2k).
Ankündigungen
Vorschläge
Vielleicht sind auch die folgenden Pakete von Interesse.
Bewertungskommentare