Announcements for 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.

Package	Temporal Logic
Version	1.1 2026-01-06
Copyright	2024–2026 Dominik Schmid
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.