CTAN update: temporal-logic
Date: January 7, 2026 3:57:30 PM CET
Dominik Schmid submitted an update to the
temporal-logic
package.
Version number: 1.1 2026-01-06
License type: lppl1.3c
Summary description: Symbols for Temporal Logics
Announcement text:
Added a wider range of operators and different display styles via package options.
This package is located at https://mirrors.ctan.org/macros/latex/contrib/temporal-logic More information is at https://www.ctan.org/pkg/temporal-logic
Thanks for the upload. For the CTAN Team Erik Braun
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs
Added a wider range of operators and different display styles via package options.
This package is located at https://mirrors.ctan.org/macros/latex/contrib/temporal-logic More information is at https://www.ctan.org/pkg/temporal-logic
Thanks for the upload. For the CTAN Team Erik Braun
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs
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.
| Package | temporal-logic |
| Version | 1.1 2026-01-06 |
| Copyright | 2024–2026 Dominik Schmid |
| Maintainer | Dominik Schmid |