Login / Signup

Synchronized Linear-Time Temporal Logic.

Heinrich WansingNorihiro Kamide
Published in: Stud Logica (2011)
Keyphrases
  • linear time temporal logic
  • model checking
  • sequent calculus
  • natural deduction
  • temporal logic
  • cut elimination
  • linear temporal logic
  • linear logic
  • training data
  • orders of magnitude
  • inference rules