A Sequent Calculus for a First Order Linear Temporal Logic with Equality.

Jurate Sakalauskaite

Published in: LFCS (1992)

Keyphrases

linear temporal logic
linear time temporal logic
sequent calculus
temporal logic
model checking
cut elimination
inference rules
linear logic
bounded model checking
modal logic
natural deduction
artificial intelligence
sufficient conditions
first order logic
formal specification