Sign in

Natural Deduction Calculus for Linear-Time Temporal Logic.

Alexander BolotovArtie BasukoskiOleg M. GrigorievVasilyi Shangin
Published in: JELIA (2006)
Keyphrases
  • natural deduction
  • linear time temporal logic
  • sequent calculus
  • cut elimination
  • inference rules
  • theorem prover
  • theorem proving
  • intuitionistic logic
  • training examples
  • model checking
  • dynamical systems
  • temporal logic