A Tableau System for Linear-TIME Temporal Logic.

Peter H. Schmitt Jean Goubault-Larrecq

Published in: TACAS (1997)

Keyphrases

linear time temporal logic
sequent calculus
proof search
model checking
description logics
cut elimination
temporal logic
natural deduction
linear logic
inference rules
linear temporal logic
modal logic
fixed point
machine learning
software engineering