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

  • Authors:

  • Matthias Baaz;Alexander Leitsch;Richard Zach

  • Affiliations:

  • -;-;-

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 1996

  • Gödel logics: a survey

    LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning

Quantified Score

Hi-index 5.23

Visualization

Abstract