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

Jurate Sakalauskaite

Published in: RCLP (1991)

Keyphrases

linear temporal logic
linear time temporal logic
sequent calculus
temporal logic
modal logic
model checking
inference rules
cut elimination
bounded model checking
linear logic
classical logic
probabilistic model
nonmonotonic logics