A Tableau Construction for Finite Linear-Time Temporal Logic.

Samuel Huang Rance Cleaveland

Published in: CoRR (2019)

Keyphrases

linear time temporal logic
description logics
linear temporal logic
training data
model checking
natural deduction
high level
sequential patterns
sequent calculus