New on CTAN: temporal-logic
Date: October 18, 2024 2:15:35 PM CEST
Dominik Schmid submitted the
temporal-logic
package.
Version: 1.0 2024-10-17
License: lppl1.3c
Summary description: Symbols for Temporal Logics
Announcement text:
The temporal-logic 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.
The package’s Catalogue entry can be viewed at https://ctan.org/pkg/temporal-logic The package’s files themselves can be inspected at https://mirrors.ctan.org/macros/latex/contrib/temporal-logic/
Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese
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
The temporal-logic 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.
The package’s Catalogue entry can be viewed at https://ctan.org/pkg/temporal-logic The package’s files themselves can be inspected at https://mirrors.ctan.org/macros/latex/contrib/temporal-logic/
Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese
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.0 2024-10-17 |
| Copyright | 2024 Dominik Schmid and Till Schallau |
| Maintainer | Dominik Schmid |