A Decidable Timeout based Extension of Propositional Linear Temporal Logic

Janardan Misra Suman Roy

Published in: CoRR (2010)

Keyphrases

linear time temporal logic
linear temporal logic
temporal logic
computation tree logic
model checking
bounded model checking
first order logic
propositional logic
machine learning
satisfiability problem
dynamical systems
belief revision
horn clauses
natural deduction
polynomial hierarchy