temporal-logic
Symbols for Temporal Logics
- Version:
- 1.0
- Copyright:
- Dominik Schmid and Till Schallau
- License:
- lppl1.3c
- Packaged on:
- 10/20/2024 12:31:07
- Number of files:
- 2
- Size on disk:
- 6.46 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.