Login / Signup

Linear temporal logic with until and next, logical consecutions.

Vladimir V. Rybakov
Published in: Ann. Pure Appl. Log. (2008)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • knowledge base
  • orders of magnitude