Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous.

Vladimir V. Rybakov

Published in: Fundam. Informaticae (2007)

Keyphrases

linear temporal logic
temporal logic
model checking
bounded model checking
learning algorithm
query answering
multi agent systems
description logics
type checking