Login / Signup

A tableau construction for finite linear-time temporal logic.

Samuel HuangRance Cleaveland
Published in: J. Log. Algebraic Methods Program. (2022)
Keyphrases
  • linear time temporal logic
  • linear temporal logic
  • description logics
  • model checking
  • temporal logic
  • sequent calculus
  • natural deduction
  • artificial intelligence
  • inference rules