Login / Signup

A Trace Based Extension of Linear Time Temporal Logic

P. S. Thiagarajan
Published in: LICS (1994)
Keyphrases
  • linear time temporal logic
  • model checking
  • natural deduction
  • temporal logic
  • sequent calculus
  • linear temporal logic
  • cut elimination
  • modal operators
  • search space
  • first order logic
  • theorem proving