Decidable fragments of first-order temporal logics

Cite this paper

@inproceedings{Hodkinson2007DecidableFO, title={Decidable fragments of first-order temporal logics}, author={Ian M. Hodkinson and Frank Wolter and Michael Zakharyaschev}, year={2007} }