Concerning the semantic consequence relation in first-order temporal logic

• 31 December 1986
• journal article
• research article
• Published by Elsevier in Theoretical Computer Science
• Vol. 47, 329-334
• https://doi.org/10.1016/0304-3975(86)90157-x

Abstract

Keywords

• FIRST-ORDER TEMPORAL LOGIC
• SEMANTIC CONSEQUENCE
• SYNTACTIC CONSEQUENCE
• MODEL
• COMPLETENESS
• SOUNDNESS
• PROOF SYSTEM