temporal-logic__doc
Symbols for Temporal Logics
- Version:
- 1.1
- Copyright:
- Dominik Schmid
- License:
- lppl1.3c
- Packaged on:
- 01/11/2026 11:32:45
- Number of files:
- 3
- Size on disk:
- 513.54 kB
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.