CTAN Comprehensive TeX Archive Network

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 trackerhttps://github.com/tudo-aqua/temporal-logic-latex-package/issues
Repositoryhttps://github.com/tudo-aqua/temporal-logic-latex-package/
Version1.0 2024-10-17
LicensesThe Project Public License 1.3c
Copyright2024 Dominik Schmid and Till Schallau
MaintainerDominik Schmid
Contained inTeX Live as temporal-logic
MiKTeX as temporal-logic
TopicsText symbol
Experimental 3
Logic
Symbol support

Download the contents of this package in one zip archive (513.7k).

Community Comments

Loading...

Announcements

Here you can see a respective diagram in newer browsers.

more

Package Links

Guest Book Sitemap Contact Contact Author