Skip to main content

One post tagged with "temporal"

View All Tags

Programming with Linear Temporal Logic Operators

· 3 min read

At Matrix AI our research into language constructs for formally describing distributed systems has led us to a concept called Linear Temporal Logic. It is a logic system that allows us to express logical statements about time. This article will provide a brief introduction to this logic system.