Completeness of a first-order temporal logic with time-gaps

This publication has 11 references indexed in Scilit:

• Gentzen-type systems and resolution rule. Part II. Predicate logic
  Published by Cambridge University Press (CUP) ,2017
• Proof strategies in linear logic
  Journal of Automated Reasoning, 1994
• QUANTIFYING OVER PROPOSITIONS IN RELEVANCE LOGIC - NONAXIOMATISABILITY OF PRIMARY INTERPRETATIONS OF FOR-ALL-P AND THERE-EXISTS-P
  The Journal of Symbolic Logic, 1993
• On the interpretability of arithmetic in temporal logic
  Theoretical Computer Science, 1990
• Incompleteness of first-order temporal logic with until
  Theoretical Computer Science, 1988
• Temporal Logic of Programs
  Published by Springer Nature ,1987
• Concerning the semantic consequence relation in first-order temporal logic
  Theoretical Computer Science, 1986
• Proof Methods for Modal and Intuitionistic Logics
  Published by Springer Nature ,1983
• Symposium on Decision Problems: On a Decision Method in Restricted Second Order Arithmetic
  Published by Elsevier ,1966
• The Undecidability of Monadic Modal Quantification Theory
  Mathematical Logic Quarterly, 1962