A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic.

Alexander Bolotov Oleg M. Grigoriev Vasilyi Shangin

Published in: IICAI (2007)

Keyphrases

natural deduction
linear time temporal logic
sequent calculus
cut elimination
inference rules
theorem prover
theorem proving
intuitionistic logic
temporal logic
linear logic
model checking
artificial intelligence
knowledge base
first order logic
heuristic search