Temporal Logic Python Packages

pyreason

An explainable inference software supporting annotated, real valued, graph based and temporal logic

torchmodal

Differentiable modal logic for PyTorch: □ and ♢ as trainable layers over a Kripke structure, with sound interval bounds and a learnable accessibility relation. Oral @ NeSy 2026.

omega

Specify and synthesize systems using symbolic algorithms

signal-temporal-logic

A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!

agenticraft-foundation

Formally verified mathematical foundations for multi-agent AI coordination — CSP process algebra, multiparty session types, spectral topology, temporal logic model checking, and probabilistic verification.

reasonsmith

Prove which legally-owed reasons a decision system deleted, and from whom — by re-running its own inference, not reading its log. Every verdict states how it was reached.

eleph

A language whose programs cannot lie.

tulip

Temporal Logic Planning toolbox

temprl

Reinforcement Learning framework for Temporal Goals

rltg

Reinforcement Learning framework for Temporal Goals

python-monitors

A pure Python package to monitor formal specifications over temporal sequences