Announcements for temporal-logic

2024-10-18 New on CTAN: temporal-logic

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

Atom Atom 1.0 feed with announcements for package temporal-logic.
RSS RSS 2.0 feed with announcements for package temporal-logic.