Three Variables Suffice for Real-Time Specification

Timos Antonopoulos, Paul Hunter, Shahab Raza +1

A natural framework for real-time specification is monadic first-order logic over the structure $(\mathbb{R},<,+1)$---the ordered real line with unary $+1$ function. Our main resul…