Concerning the semantic consequence relation in first-order temporal logic

Temporal and modal logic programming: an annotated bibliography

ACM SIGART Bulletin

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

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

Searching for Invariants Using Temporal Resolution

LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning

On an omega-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL

CL '00 Proceedings of the First International Conference on Computational Logic

Towards First-Order Temporal Resolution

KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence

Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning

Mechanising first-order temporal resolution

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

Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic

Computational Logic in Multi-Agent Systems

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