1 research outputs found
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies
We provide an overview of the main attempts to formalize and reason about the evolution over time of complex domains, through the lens of first-order temporal logics. Different communities have studied similar problems for decades, and some unification of concepts, problems and formalisms is a much needed but not simple task