On the interpretability of arithmetic in temporal logic

First Order Linear Temporal Logic over Finite Time Structures

LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning

LTL Over integer periodicity constraints

Theoretical Computer Science

A Decidability Result for the Model Checking of Infinite-State Systems

Journal of Automated Reasoning

The formal REA model at the operational level

Applied Ontology