Incompleteness of first-order temporal logic with until

Axioms for real-time logics

Theoretical Computer Science

Monodic fragments of first-order temporal logics: 2000-2001 A.D

LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming

Mechanising first-order temporal resolution

Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)

Monodic temporal resolution

ACM Transactions on Computational Logic (TOCL)

The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security

Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming

Mechanising first-order temporal resolution

Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)

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

Journal of Automated Reasoning

METATEM: the story so far

ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems

Implementing temporal logics: tools for execution and proof

CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems

Logical foundations for more expressive declarative temporal logic programming languages

ACM Transactions on Computational Logic (TOCL)

The formal REA model at the operational level

Applied Ontology