Ankündigungen für Temporal Logic

2026-01-07 CTAN update: 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.

Paket	Temporal Logic
Version	1.1 2026-01-06
Copyright	2024–2026 Dominik Schmid
Betreuer	Dominik Schmid

Atom Atom-1.0-Feed mit Ankündigungen für das Paket Temporal Logic.
RSS RSS-2.0-Feed mit Ankündigungen für das Paket Temporal Logic.