Latex package for Temporal Logic Operators

Overview

The package defines functions for rendering the temporal operators defined in the Linear Temporal Logic (LTL), Metric Temporal Logic (MTL), Metric First-order Temporal Logic (MFOTL), and Counting Metric First-order Temporal Binding Logic (CMFTBL). The package defines various functions with variants in order to include or omit optional parameters to the operators like the optional interval.

Build the package

If you want to generate the necessary .sty file and the documentation for this package you can do this with the following steps:

1. Generate .sty file from .ins file with the command:

`latex temporal-logic.ins`

2. Generate documentation with the command:

`latexmk -pdf temporal-logic.dtx`

Copyright and License

Copyright (C) 2024 Dominik Schmid and Till Schallau

This work may be distributed and/or modified under the conditions of the LaTeX Project Public License, either version 1.3c of this license or (at your option) any later version. The latest version of this license is in http://www.latex-project.org/lppl.txt and version 1.3c or later is part of all distributions of LaTeX version 2005/12/01 or later.