On the Completeness and Decidability of a Restricted First Order Linear Temporal Logic

• Authors:

• Regimantas Pliuskevicius

• Affiliations:

• -

• Venue:
• KGC '97 Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory
• Year:
• 1997